HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:decidability

Papers
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-2021 easychair.org. All rights reserved.