Volume: Vol-3739 DL 2024 | Year: 2024

Paper: « abstract-6 | abstract-7 | abstract-8 »

On the of Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract)

Bartosz Bednarczyk ORCID dblp Wikidata
Daumantas Kojelis dblp
Ian Pratt-Hartmann ORCID dblp