Predicate abstraction with indexed predicates

JOURNAL ARTICLE published December 2007 in ACM Transactions on Computational Logic

Authors: Shuvendu K. Lahiri | Randal E. Bryant

Probabilistic game semantics

JOURNAL ARTICLE published July 2002 in ACM Transactions on Computational Logic

Authors: Vincent Danos | Russell S. Harmer

Making abstract domains condensing

JOURNAL ARTICLE published January 2005 in ACM Transactions on Computational Logic

Authors: Roberto Giacobazzi | Francesco Ranzato | Francesca Scozzari

Complexity of Data Dependence Problems for Program Schemas with Concurrency

JOURNAL ARTICLE published April 2012 in ACM Transactions on Computational Logic

Research funded by Engineering and Physical Sciences Research Council (EP/E002919/1)

Authors: Sebastian Danicic | Robert M. Hierons | Michael R. Laurence

LTL with the freeze quantifier and register automata

JOURNAL ARTICLE published April 2009 in ACM Transactions on Computational Logic

Research funded by Engineering and Physical Sciences Research Council (GR/S52759/01)

Authors: Stéphane Demri | Ranko Lazić

A proof theory for generic judgments

JOURNAL ARTICLE published October 2005 in ACM Transactions on Computational Logic

Authors: Dale Miller | Alwen Tiu

JOURNAL ISSUE published 1 July 2011 in ACM Transactions on Computational Logic

Equations, Contractions, and Unique Solutions

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

Research funded by MIUR-PRIN project (“CINA.”) | ANR project (12IS02001 “PACE”)

Authors: Davide Sangiorgi

Inputs, Outputs, and Composition in the Logic of Information Flows

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

Research funded by Flemish Government under the “Onderzoeksprogramma Artificiële Intelligentie (AI) Vlaanderen” programme (G0D9616N) | National Natural Science Foundation of China (61972455) | Special Research Fund (BOF19OWB16)

Authors: Heba Aamer | Bart Bogaerts | Dimitri Surinx | Eugenia Ternovska | Jan Van den Bussche

JOURNAL ISSUE published 19 December 2017 in ACM Transactions on Computational Logic

JOURNAL ISSUE published 21 August 2017 in ACM Transactions on Computational Logic

JOURNAL ISSUE published 1 January 2012 in ACM Transactions on Computational Logic

Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types

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

Authors: Steffen Van Bakel

Abstract canonical inference

JOURNAL ARTICLE published January 2007 in ACM Transactions on Computational Logic

Authors: Maria Paola Bonacina | Nachum Dershowitz

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants

JOURNAL ARTICLE published 30 April 2018 in ACM Transactions on Computational Logic

Research funded by Polish National Science Centre (DEC-2013/09/B/ST6/01535)

Authors: Emanuel Kieroński | Lidia Tendera

Regular tree languages definable in FO and in FO _mod

JOURNAL ARTICLE published October 2009 in ACM Transactions on Computational Logic

Authors: Michael Benedikt | Luc Segoufin

A classification of symbolic transition systems

JOURNAL ARTICLE published January 2005 in ACM Transactions on Computational Logic

Authors: Thomas A. Henzinger | Rupak Majumdar | Jean-François Raskin

JOURNAL ISSUE published 1 July 2007 in ACM Transactions on Computational Logic

JOURNAL ISSUE published 24 March 2015 in ACM Transactions on Computational Logic

JOURNAL ISSUE published 1 January 2007 in ACM Transactions on Computational Logic