default search action
ACM Transactions on Computational Logic, Volume 24
Volume 24, Number 1, January 2023
- Christoph Matheja
, Jens Pagel
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions. 1:1-1:76 - Md. Aquil Khan
Logics for Temporal Information Systems in Rough Set Theory. 2:1-2:29 - Michael Blondin
Continuous One-counter Automata. 3:1-3:31 - Dylan Bellier
Good-for-Game QPTL: An Alternating Hodges Semantics. 4:1-4:57 - Catarina Carvalho
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation. 5:1-5:26 - Martin Grohe
Canonisation and Definability for Graphs of Bounded Rank Width. 6:1-6:31 - Petar Vukmirovic
SAT-Inspired Eliminations for Superposition. 7:1-7:25 - Yuval Filmus
MaxSAT Resolution and Subcube Sums. 8:1-8:27 - Bahar Aameri
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
On Composing Finite Forests with Modal Logics. 12:1-12:46 - Giuseppe Greco
Linear Logic Properly Displayed. 13:1-13:56 - Silvia Ghilezan
Precise Subtyping for Asynchronous Multiparty Sessions. 14:1-14:73 - Yisong Wang
Witnesses for Answer Sets of Logic Programs. 15:1-15:46 - Michael Benedikt
On Monotonic Determinacy and Rewritability for Recursive Queries and Views. 16:1-16:62 - James Baxter
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
Circular (Yet Sound) Proofs in Propositional Logic. 20:1-20:26 - Patricia Bouyer
Reasoning about Quality and Fuzziness of Strategic Behaviors. 21:1-21:38 - Jan A. Bergstra
Eager Equality for Rational Number Arithmetic. 22:1-22:28 - Jacobo Torán
Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas. 23:1-23:25 - Laura Bozzelli
Interval Temporal Logic for Visibly Pushdown Systems. 24:1-24:32 - Isolde Adler
Faster Property Testers in a Variation of the Bounded Degree Model. 25:1-25:24 - Yasir Mahmood
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
Interpolation Results for Arrays with Length and MaxDiff. 28:1-28:33 - Anantha Padmanabha
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic. 29:1-29:38 - Nicole Schirrmacher
First-order Logic with Connectivity Operators. 30:1-30:23 - Randal E. Bryant
Generating Extended Resolution Proofs with a BDD-Based SAT Solver. 31:1-31:28 - Shaowei Cai
Local Search For Satisfiability Modulo Integer Arithmetic Theories. 32:1-32:26 - Heba Aamer
Inputs, Outputs, and Composition in the Logic of Information Flows. 33:1-33:44 - Alessandro Artale
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 2024-12-13 19:01 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: