Volume: Vol-3739 DL 2024 | Year: 2024

Paper: « abstract-14 | abstract-15 | abstract-16 »

Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract)

Louwe Kuijer dblp
Tony Tan dblp
Frank Wolter ORCID dblp Wikidata
Michael Zakharyaschev ORCID dblp