Volume: Vol-3739 DL 2024 | Year: 2024

Paper: « paper-10 | paper-11 | abstract-1 »

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations

• Frank Wolter ORCID dblp Wikidata
• Michael Zakharyaschev ORCID dblp

PDF