Vol-3738⫷ Vol-3739 ⫸Vol-3740
urn:nbn:de:0074-3739-0


Vol-3739/paper-10⫷Vol-3739/paper-11⫸Vol-3739/abstract-1
Frank WolterMichael Zakharyaschev

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