Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.