default search action
ACM Transactions on Computational Logic, Volume 17
Volume 17, Number 1, December 2015
- André Platzer
:
Differential Game Logic. 1 - Jakub Michaliszyn
On the Decidability of Elementary Modal Logics. 2 - Rémy Chrétien, Véronique Cortier, Stéphanie Delaune:
From Security Protocols to Pushdown Automata. 3 - Serenella Cerrito, Amélie David, Valentin Goranko
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+. 4 - Florian Rabe
Lax Theory Morphisms. 5 - K. Rustan M. Leino, Paqui Lucio
An Assertional Proof of the Stability and Correctness of Natural Mergesort. 6 - Johannes Klaus Fichte, Stefan Szeider
Backdoors to Normality for Disjunctive Logic Programs. 7
Volume 17, Number 2, March 2016
- Michael Benedikt
Effective Interpolation and Preservation in Guarded Logics. 8 - Paolo Liberatore:
Belief Merging by Examples. 9 - Simone Bova
Model Checking Existential Logic on Partially Ordered Sets. 10 - Elvira Albert, Antonio Flores-Montoya, Samir Genaim
May-Happen-in-Parallel Analysis for Actor-Based Concurrency. 11 - Stéphane Demri, Morgan Deters:
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction. 12 - Konstantinos Mamouras:
The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes. 13 - Michael Benedikt, Clemens Ley:
Limiting Until in Ordered Tree Query Languages. 14
Volume 17, Number 3, July 2016
- Brijesh Dongol
Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency. 15 - Ranko Lazic, Joël Ouaknine, James Worrell
Zeno, Hercules, and the Hydra: Safety Metric Temporal Logic is Ackermann-Complete. 16 - Agata Ciabattoni
Power and Limits of Structural Display Rules. 17 - Wlodzimierz Drabent
Correctness and Completeness of Logic Programs. 18 - Albert Atserias, Massimo Lauria
Narrow Proofs May Be Maximally Long. 19 - Nadia Creignou, Odile Papini, Stefan Rümmele
Belief Merging within Fragments of Propositional Logic. 20 - Adam Trybus
Rational Region-Based Affine Logic of the Real Plane. 21 - Lian Wen, Kewen Wang
A Model for Phase Transition of Random Answer-Set Programs. 22
Volume 17, Number 4, November 2016
- Rohit Chadha, Vincent Cheval, Stefan Ciobaca, Steve Kremer
Automated Verification of Equivalence Properties of Cryptographic Protocols. 23 - Alessandro Facchini
Index Problems for Game Automata. 24 - Michael Elberfeld, Martin Grohe, Till Tantau:
Where First-Order and Monadic Second-Order Logic Coincide. 25 - Lorenzo Carlucci, Nicola Galesi, Massimo Lauria
On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies. 26 - Bart Bogaerts
On Well-Founded Set-Inductions and Locally Monotone Operators. 27 - Hitoshi Furusawa, Georg Struth:
Taming Multirelations. 28 - Kristina Sojakova:
The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory. 29 - Aleksy Schubert
How Hard Is Positive Quantification? 30 - Witold Charatonik, Piotr Witkowski
Two-Variable Logic with Counting and Trees. 31 - Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski
Complexity of Two-Variable Logic on Finite Trees. 32
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: