Kojelis, Daumantas

1. On the Limits of Decision: the Adjacent Fragment of First-Order Logic
   2023/05/04 by Bednarczyk, Bartosz, Kojelis, Daumantas, Pratt-Hartmann, Ian · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)