Super logic programs

JOURNAL ARTICLE published January 2004 in ACM Transactions on Computational Logic

Authors: Stefan Brass | Jürgen Dix | Teodor C. Przymusinski

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