Identifying Tractable Quantified Temporal Constraints Within Ord-Horn
Tytuł:
Identifying Tractable Quantified Temporal Constraints Within Ord-Horn
Konferencja:
International Colloquium on Automata Languages and Programming [ICALP]
Rok:
2024
Opis:
ruj
Strony:
151:1--151:20
Tom (seria wydawnicza):
LIPIcs 297, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021
Numer DOI:
10.4230/LIPICS.ICALP.2024.151
Link:
https://drops.dagstuhl.de/storage/00lipics/lipics-vol297-icalp2024/LIPIcs.ICALP.2024.151/LIPIcs.ICALP.2024.151.pdf
DBLP link:
https://dblp.org/rec/conf/icalp/RydvalSW24.html?view=bibtex