Hereditary First-Order Logic: the Tractable Quantifier Prefix Classes

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publication34th EACSL Annual Conference on Computer Science Logic (CSL 2026)
PublisherSchloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
Pages6:1-6:20
Publication statusPublished - Feb 2026
Peer-reviewedYes

Publication series

SeriesLeibniz international proceedings in informatics : LIPIcs
Volume363
ISSN1868-8969

External IDs

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

Keywords