default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Computational Logic, Volume 24
Volume 24, Number 1, January 2023
- Christoph Matheja
, Jens Pagel, Florian Zuleger:
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions. 1:1-1:76 - Md. Aquil Khan, Mohua Banerjee, Sibsankar Panda:
Logics for Temporal Information Systems in Rough Set Theory. 2:1-2:29 - Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez:
Continuous One-counter Automata. 3:1-3:31 - Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero:
Good-for-Game QPTL: An Alternating Hodges Semantics. 4:1-4:57 - Catarina Carvalho, Florent R. Madelaine, Barnaby Martin, Dmitriy Zhuk:
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation. 5:1-5:26 - Martin Grohe, Daniel Neuen:
Canonisation and Definability for Graphs of Bounded Rank Width. 6:1-6:31 - Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule:
SAT-Inspired Eliminations for Superposition. 7:1-7:25 - Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals:
MaxSAT Resolution and Subcube Sums. 8:1-8:27 - Bahar Aameri, Michael Grüninger:
Reducible Theories and Amalgamations of Models. 9:1-9:24
Volume 24, Number 2, April 2023
- Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl:
Hardness Characterisations and Size-width Lower Bounds for QBF Resolution. 10:1-10:30 - Aleksandr Yu. Konovalov:
A Generalized Realizability and Intuitionistic Logic. 11:1-11:15 - Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti:
On Composing Finite Forests with Modal Logics. 12:1-12:46 - Giuseppe Greco, Alessandra Palmigiano:
Linear Logic Properly Displayed. 13:1-13:56 - Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise Subtyping for Asynchronous Multiparty Sessions. 14:1-14:73 - Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin:
Witnesses for Answer Sets of Logic Programs. 15:1-15:46 - Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero:
On Monotonic Determinacy and Rewritability for Recursive Queries and Views. 16:1-16:62 - James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons:
Testing using CSP Models: Time, Inputs, and Outputs. 17:1-17:40 - Theofanis I. Aravanis:
Generalizing Parikh's Criterion for Relevance-Sensitive Belief Revision. 18:1-18:29
Volume 24, Number 3, July 2023
- Tsubasa Takagi:
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect. 19:1-19:21 - Albert Atserias, Massimo Lauria:
Circular (Yet Sound) Proofs in Propositional Logic. 20:1-20:26 - Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviors. 21:1-21:38 - Jan A. Bergstra, John V. Tucker:
Eager Equality for Rational Number Arithmetic. 22:1-22:28 - Jacobo Torán, Florian Wörz:
Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas. 23:1-23:25 - Laura Bozzelli, Angelo Montanari, Adriano Peron:
Interval Temporal Logic for Visibly Pushdown Systems. 24:1-24:32 - Isolde Adler, Polly Fahey:
Faster Property Testers in a Variation of the Bounded Degree Model. 25:1-25:24 - Yasir Mahmood, Arne Meier, Johannes Schmidt:
Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework. 26:1-26:25 - Paolo Liberatore:
Mixed Iterated Revisions: Rationale, Algorithms, and Complexity. 27:1-27:49
Volume 24, Number 4, October 2023
- Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso:
Interpolation Results for Arrays with Length and MaxDiff. 28:1-28:33 - Anantha Padmanabha, R. Ramanujam:
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic. 29:1-29:38 - Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny:
First-order Logic with Connectivity Operators. 30:1-30:23 - Randal E. Bryant, Marijn J. H. Heule:
Generating Extended Resolution Proofs with a BDD-Based SAT Solver. 31:1-31:28 - Shaowei Cai, Bohan Li, Xindi Zhang:
Local Search For Satisfiability Modulo Integer Arithmetic Theories. 32:1-32:26 - Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Inputs, Outputs, and Composition in the Logic of Information Flows. 33:1-33:44 - Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. 34:1-34:51
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 2026-01-18 21:20 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:
