<div class="rug-mask js--requires-cookie-consent-trigger"><div class="rug-warning--overlay rug-hidden rug-theme--content"><span class="rug-icon rug-icon--close rug-absolute rug-absolute--top-right rug-mt-xs rug-mr-xs rug-cursor--pointer js--requires-cookie-consent-close"/><div class="rug-notification--info rug-p js-id--alert"><span class="rug-icon rug-icon--warn rug-icon--xl rug-mr-s" aria-hidden="true"/><p>We need your permission for setting certain cookies to be able to show this content.</p><p>You can <button class="rug-inline-button js--cookie-consent-popup">change your cookie settings</button>.</p></div></div></div>
{
"requiresCookieConsentCheck": "true",
"checkedCookieConsent": "no",
"hasCookieConsent": "no"
}
Chernev, A., Cîrstea, C., Hansen, H. H. & Kupke, C., 9-Oct-2025, 2025 40th Annual ACM/IEEE
Symposium on Logic in Computer Science (LICS).IEEE
Computer Society, p. 761-77515 p.
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
Chernev, A., Hansen, H. H. & Kupke, C., 22-Nov-2024, Theoretical Aspects of
Computing – ICTAC 2024 - 21st International Colloquium,
Proceedings. Anutariya, C. & Bonsangue, M. M. (eds.).
Springer Science and Business Media Deutschland GmbH,
p. 96-11318
p. (Lecture Notes in Computer Science (including subseries
Lecture Notes in Artificial Intelligence and Lecture Notes in
Bioinformatics); vol. 15373 LNCS).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
