Polynomial-time computation via local inference relations

JOURNAL ARTICLE published October 2002 in ACM Transactions on Computational Logic

Authors: Robert Givan | David Mcallester

A fast algorithm and datalog inexpressibility for temporal reasoning

JOURNAL ARTICLE published May 2010 in ACM Transactions on Computational Logic

Research funded by Ministry of Education, Youth and Sports (1M0021620808)

Authors: Manuel Bodirsky | Jan Kára

Higher Homotopies in a Hierarchy of Univalent Universes

JOURNAL ARTICLE published 21 March 2015 in ACM Transactions on Computational Logic

Research funded by Air Force Research Laboratory (FA8655-13-1-3038)

Authors: Nicolai Kraus | Christian Sattler

The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation

JOURNAL ARTICLE published 31 January 2023 in ACM Transactions on Computational Logic

Authors: Catarina Carvalho | Florent Madelaine | Barnaby Martin | Dmitriy Zhuk

A New Perspective on FO Model Checking of Dense Graph Classes

JOURNAL ARTICLE published 31 October 2020 in ACM Transactions on Computational Logic

Research funded by Pareto-Optimal Parameterized Algorithms, ERC Starting (715744) | Czech Science Foundation (17-00837S) | European Union's Horizon 2020 research and innovation programme ERC Consolidator Grant DISTRUCT (648527) | Austrian Science Fund (P26696 X-TRACT)

Authors: Jakub Gajarský | Petr Hliněný | Jan Obdržálek | Daniel Lokshtanov | M. S. Ramanujan

Quantifier-free interpolation in combinations of equality interpolating theories

JOURNAL ARTICLE published February 2014 in ACM Transactions on Computational Logic

Authors: Roberto Bruttomesso | Silvio Ghilardi | Silvio Ranise

The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates

JOURNAL ARTICLE published 31 July 2020 in ACM Transactions on Computational Logic

Authors: Mnacho Echenim | Radu Iosif | Nicolas Peltier

Unification and matching on compressed terms

JOURNAL ARTICLE published July 2011 in ACM Transactions on Computational Logic

Research funded by LOGICTOOLS-2 (TIN2007-68093-C02-01) | Ministerio de Educación, Cultura y Deporte (TIN2007-66523)

Authors: Adrià Gascón | Guillem Godoy | Manfred Schmidt-Schauss

About the undecidability of program equivalence in finitary languages with state

JOURNAL ARTICLE published October 2005 in ACM Transactions on Computational Logic

Authors: Andrzej S. Murawski

Precongruence formats for decorated trace semantics

JOURNAL ARTICLE published January 2004 in ACM Transactions on Computational Logic

Authors: Bard Bloom | Wan Fokkink | Rob J. van Glabbeek

Description logics of minimal knowledge and negation as failure

JOURNAL ARTICLE published April 2002 in ACM Transactions on Computational Logic

Authors: Francesco M. Donini | Daniele Nardi | Riccardo Rosati

Probabilistic bisimulation as a congruence

JOURNAL ARTICLE published February 2009 in ACM Transactions on Computational Logic

Authors: Ruggero Lanotte | Simone Tini

Automated Verification of Equivalence Properties of Cryptographic Protocols

JOURNAL ARTICLE published 15 November 2016 in ACM Transactions on Computational Logic

Research funded by European Research Council (645865-SPOOC) | Agence Nationale de la Recherche (ANR-11-JS02-006) | European Sectorial Operational Programme Human Resource Development (POSDRU/159/1.5/S/137750) | National Science Foundation (1314338)

Authors: Rohit Chadha | Vincent Cheval | Ştefan Ciobâcă | Steve Kremer

A General Theory of Barbs, Contexts, and Labels

JOURNAL ARTICLE published August 2014 in ACM Transactions on Computational Logic

Authors: Filippo Bonchi | Fabio Gadducci | Giacoma Valentina Monreale

Nominal Unification from a Higher-Order Perspective

JOURNAL ARTICLE published April 2012 in ACM Transactions on Computational Logic

Research funded by TASSAT (TIN2010-20967-C04-01) | SUROS (TIN2008-04547)

Authors: Jordi Levy | Mateu Villaret

Alternating timed automata

JOURNAL ARTICLE published March 2008 in ACM Transactions on Computational Logic

Research funded by Polish government (N206 008 32/0810)

Authors: Slawomir Lasota | Igor Walukiewicz

May-Happen-in-Parallel Analysis for Actor-Based Concurrency

JOURNAL ARTICLE published 28 March 2016 in ACM Transactions on Computational Logic

Authors: Elvira Albert | Antonio Flores-Montoya | Samir Genaim | Enrique Martin-Martin

Clausal temporal resolution

JOURNAL ARTICLE published January 2001 in ACM Transactions on Computational Logic

Authors: Michael Fisher | Clare Dixon | Martin Peim

Łukasiewicz Games

JOURNAL ARTICLE published 19 November 2015 in ACM Transactions on Computational Logic

Research funded by Engineering and Physical Sciences Research Council (EP/M009130/1) | European Research Council (291528 (RACE)) | Seventh Framework Programme (301625 (NAAMSI))

Authors: Enrico Marchioni | Michael Wooldridge

Monadic second order logic on graphs with local cardinality constraints

JOURNAL ARTICLE published January 2011 in ACM Transactions on Computational Logic

Research funded by European Research Council (239962)

Authors: Stefan Szeider