On the Limits of Decision: the Adjacent Fragment of First-Order Logic.

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann

Browse the full ICALP paper archive.