Sign in
ACM Trans. Comput. Log.
2000
2008
2016
2024
2000
2024
Keyphrases
Publications
volume 25, number 1, 2024
Orna Kupferman
,
Gal Vardi
Perspective Games.
ACM Trans. Comput. Log.
25 (1) (2024)
Rob van Glabbeek
Comparing the Expressiveness of the π-calculus and CCS.
ACM Trans. Comput. Log.
25 (1) (2024)
Laura Bozzelli
,
Bastien Maubert
,
Aniello Murano
On the Complexity of Model Checking Knowledge and Time.
ACM Trans. Comput. Log.
25 (1) (2024)
Giuseppe Greco
,
Peter Jipsen
,
Fei Liang
,
Alessandra Palmigiano
,
Apostolos Tzimoulis
Algebraic Proof Theory for LE-logics.
ACM Trans. Comput. Log.
25 (1) (2024)
Michele Boreale
,
Luisa Collodi
,
Daniele Gorla
Products, Polynomials and Differential Equations in the Stream Calculus.
ACM Trans. Comput. Log.
25 (1) (2024)
Rance Cleaveland
,
Jeroen J. A. Keiren
Extensible Proof Systems for Infinite-State Systems.
ACM Trans. Comput. Log.
25 (1) (2024)
Maximiliano Cristiá
,
Gianfranco Rossi
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals.
ACM Trans. Comput. Log.
25 (1) (2024)
Domenico Cantone
,
Pietro Ursino
Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator.
ACM Trans. Comput. Log.
25 (1) (2024)
volume 24, number 1, 2023
Bahar Aameri
,
Michael Grüninger
Reducible Theories and Amalgamations of Models.
ACM Trans. Comput. Log.
24 (1) (2023)
Christoph Matheja
,
Jens Pagel
,
Florian Zuleger
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions.
ACM Trans. Comput. Log.
24 (1) (2023)
Catarina Carvalho
,
Florent R. Madelaine
,
Barnaby Martin
,
Dmitriy Zhuk
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation.
ACM Trans. Comput. Log.
24 (1) (2023)
Martin Grohe
,
Daniel Neuen
Canonisation and Definability for Graphs of Bounded Rank Width.
ACM Trans. Comput. Log.
24 (1) (2023)
Michael Blondin
,
Tim Leys
,
Filip Mazowiecki
,
Philip Offtermatt
,
Guillermo A. Pérez
Continuous One-counter Automata.
ACM Trans. Comput. Log.
24 (1) (2023)
Dylan Bellier
,
Massimo Benerecetti
,
Dario Della Monica
,
Fabio Mogavero
Good-for-Game QPTL: An Alternating Hodges Semantics.
ACM Trans. Comput. Log.
24 (1) (2023)
Yuval Filmus
,
Meena Mahajan
,
Gaurav Sood
,
Marc Vinyals
MaxSAT Resolution and Subcube Sums.
ACM Trans. Comput. Log.
24 (1) (2023)
Petar Vukmirovic
,
Jasmin Blanchette
,
Marijn J. H. Heule
SAT-Inspired Eliminations for Superposition.
ACM Trans. Comput. Log.
24 (1) (2023)
Md. Aquil Khan
,
Mohua Banerjee
,
Sibsankar Panda
Logics for Temporal Information Systems in Rough Set Theory.
ACM Trans. Comput. Log.
24 (1) (2023)
volume 24, number 2, 2023
Aleksandr Yu. Konovalov
A Generalized Realizability and Intuitionistic Logic.
ACM Trans. Comput. Log.
24 (2) (2023)
Giuseppe Greco
,
Alessandra Palmigiano
Linear Logic Properly Displayed.
ACM Trans. Comput. Log.
24 (2) (2023)
James Baxter
,
Ana Cavalcanti
,
Maciej Gazda
,
Robert M. Hierons
Testing using CSP Models: Time, Inputs, and Outputs.
ACM Trans. Comput. Log.
24 (2) (2023)
Yisong Wang
,
Thomas Eiter
,
Yuanlin Zhang
,
Fangzhen Lin
Witnesses for Answer Sets of Logic Programs.
ACM Trans. Comput. Log.
24 (2) (2023)
Theofanis I. Aravanis
Generalizing Parikh's Criterion for Relevance-Sensitive Belief Revision.
ACM Trans. Comput. Log.
24 (2) (2023)
Bartosz Bednarczyk
,
Stéphane Demri
,
Raul Fervari
,
Alessio Mansutti
On Composing Finite Forests with Modal Logics.
ACM Trans. Comput. Log.
24 (2) (2023)
Olaf Beyersdorff
,
Joshua Blinkhorn
,
Meena Mahajan
,
Tomás Peitl
Hardness Characterisations and Size-width Lower Bounds for QBF Resolution.
ACM Trans. Comput. Log.
24 (2) (2023)
Michael Benedikt
,
Stanislav Kikot
,
Piotr Ostropolski-Nalewaja
,
Miguel Romero
On Monotonic Determinacy and Rewritability for Recursive Queries and Views.
ACM Trans. Comput. Log.
24 (2) (2023)
volume 24, number 3, 2023
Yasir Mahmood
,
Arne Meier
,
Johannes Schmidt
Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework.
ACM Trans. Comput. Log.
24 (3) (2023)
Jan A. Bergstra
,
John V. Tucker
Eager Equality for Rational Number Arithmetic.
ACM Trans. Comput. Log.
24 (3) (2023)
Albert Atserias
,
Massimo Lauria
Circular (Yet Sound) Proofs in Propositional Logic.
ACM Trans. Comput. Log.
24 (3) (2023)
Tsubasa Takagi
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect.
ACM Trans. Comput. Log.
24 (3) (2023)
Jacobo Torán
,
Florian Wörz
Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas.
ACM Trans. Comput. Log.
24 (3) (2023)
Isolde Adler
,
Polly Fahey
Faster Property Testers in a Variation of the Bounded Degree Model.
ACM Trans. Comput. Log.
24 (3) (2023)
Paolo Liberatore
Mixed Iterated Revisions: Rationale, Algorithms, and Complexity.
ACM Trans. Comput. Log.
24 (3) (2023)
Patricia Bouyer
,
Orna Kupferman
,
Nicolas Markey
,
Bastien Maubert
,
Aniello Murano
,
Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviors.
ACM Trans. Comput. Log.
24 (3) (2023)
Laura Bozzelli
,
Angelo Montanari
,
Adriano Peron
Interval Temporal Logic for Visibly Pushdown Systems.
ACM Trans. Comput. Log.
24 (3) (2023)
volume 24, number 4, 2023
Shaowei Cai
,
Bohan Li
,
Xindi Zhang
Local Search For Satisfiability Modulo Integer Arithmetic Theories.
ACM Trans. Comput. Log.
24 (4) (2023)
Nicole Schirrmacher
,
Sebastian Siebertz
,
Alexandre Vigny
First-order Logic with Connectivity Operators.
ACM Trans. Comput. Log.
24 (4) (2023)
Anantha Padmanabha
,
R. Ramanujam
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic.
ACM Trans. Comput. Log.
24 (4) (2023)
Heba Aamer
,
Bart Bogaerts
,
Dimitri Surinx
,
Eugenia Ternovska
,
Jan Van den Bussche
Inputs, Outputs, and Composition in the Logic of Information Flows.
ACM Trans. Comput. Log.
24 (4) (2023)
Silvio Ghilardi
,
Alessandro Gianola
,
Deepak Kapur
,
Chiara Naso
Interpolation Results for Arrays with Length and MaxDiff.
ACM Trans. Comput. Log.
24 (4) (2023)
Randal E. Bryant
,
Marijn J. H. Heule
Generating Extended Resolution Proofs with a BDD-Based SAT Solver.
ACM Trans. Comput. Log.
24 (4) (2023)
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.
ACM Trans. Comput. Log.
24 (4) (2023)
volume 23, number 3, 2022
Erfan Khaniki
On Proof Complexity of Resolution over Polynomial Calculus.
ACM Trans. Comput. Log.
23 (3) (2022)
Daniel Gratzer
,
Evan Cavallo
,
G. A. Kavvos
,
Adrien Guatto
,
Lars Birkedal
Modalities and Parametric Adjoints.
ACM Trans. Comput. Log.
23 (3) (2022)
volume 23, number 4, 2022
Chris Barrett
,
Alessio Guglielmi
A Subatomic Proof System for Decision Trees.
ACM Trans. Comput. Log.
23 (4) (2022)
Sebastian Enqvist
,
Valentin Goranko
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games.
ACM Trans. Comput. Log.
23 (4) (2022)
Simon Doherty
,
Sadegh Dalvandi
,
Brijesh Dongol
,
Heike Wehrheim
Unifying Operational Weak Memory Verification: An Axiomatic Approach.
ACM Trans. Comput. Log.
23 (4) (2022)
Jinsheng Chen
,
Giuseppe Greco
,
Alessandra Palmigiano
,
Apostolos Tzimoulis
Syntactic Completeness of Proper Display Calculi.
ACM Trans. Comput. Log.
23 (4) (2022)
Jason Z. S. Hu
,
Brigitte Pientka
,
Ulrich Schöpp
A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types.
ACM Trans. Comput. Log.
23 (4) (2022)
Luca Aceto
,
Valentina Castiglioni
,
Wan J. Fokkink
,
Anna Ingólfsdóttir
,
Bas Luttik
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
ACM Trans. Comput. Log.
23 (4) (2022)
Adam Case
,
Christopher P. Porter
The Intersection of Algorithmically Random Closed Sets and Effective Dimension.
ACM Trans. Comput. Log.
23 (4) (2022)