HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:decidability

Papers
The Quantified Reflection Calculus as a Modal Logic
Ana de Almeida Borges and Joost J. Joosten
EasyChair Preprint no. 8634
Polynomial Loops: Beyond Termination
Marcel Hark, Florian Frohn and Jürgen Giesl
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Triguarded Fragment of First-Order Logic
Sebastian Rudolph and Mantas Simkus
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Complexity of Prenex Separation Logic with One Selector
Mnacho Echenim, Radu Iosif and Nicolas Peltier
EasyChair Preprint no. 433
BDI: A New Decidable First-order Clause Class
Manuel Lamotte-Schubert and Christoph Weidenbach
In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2023 easychair.org. All rights reserved.