Hereditary First-Order Logic: the Tractable Quantifier Prefix Classes

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Titel34th EACSL Annual Conference on Computer Science Logic (CSL 2026)
Herausgeber (Verlag)Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Seiten6:1-6:20
PublikationsstatusVeröffentlicht - Feb. 2026
Peer-Review-StatusJa

Publikationsreihe

ReiheLeibniz international proceedings in informatics : LIPIcs
Band363
ISSN1868-8969

Externe IDs

ORCID /0000-0001-8228-3611/work/208071924

Schlagworte