Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
decidability
Publications
The Quantified Reflection Calculus as a Modal Logic
Ana de Almeida Borges
and
Joost J. Joosten
EasyChair Preprint 8634
The Complexity of Prenex Separation Logic with One Selector
Mnacho Echenim
,
Radu Iosif
and
Nicolas Peltier
EasyChair Preprint 433
Counterfactuals Modulo Temporal Logics
Bernd Finkbeiner
and
Julian Siber
In
:
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
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-2024 easychair.org. All rights reserved.