Facet browsing currently unavailable
Page 1 of 751 results
Sort by: relevance publication year
Predicate abstraction with indexed predicates JOURNAL ARTICLE published December 2007 in ACM Transactions on Computational Logic |
Probabilistic game semantics JOURNAL ARTICLE published July 2002 in ACM Transactions on Computational Logic |
Making abstract domains condensing JOURNAL ARTICLE published January 2005 in ACM Transactions on Computational Logic |
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) |
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) |
A proof theory for generic judgments JOURNAL ARTICLE published October 2005 in ACM Transactions on Computational Logic |
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”) |
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) |
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 |
Abstract canonical inference JOURNAL ARTICLE published January 2007 in ACM Transactions on Computational Logic |
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) |
Regular tree languages definable in FO and in FO mod JOURNAL ARTICLE published October 2009 in ACM Transactions on Computational Logic |
A classification of symbolic transition systems JOURNAL ARTICLE published January 2005 in ACM Transactions on Computational Logic |
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 |