Facet browsing currently unavailable
Page 1 of 751 results
Sort by: relevance publication year
Succinctness of Order-Invariant Logics on Depth-Bounded Structures JOURNAL ARTICLE published 31 October 2017 in ACM Transactions on Computational Logic |
Back and forth between guarded and modal logics JOURNAL ARTICLE published July 2002 in ACM Transactions on Computational Logic |
Interaction between path and type constraints JOURNAL ARTICLE published October 2003 in ACM Transactions on Computational Logic |
Locality of order-invariant first-order formulas JOURNAL ARTICLE published July 2000 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”) |
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 |
Reasoning about Quality and Fuzziness of Strategic Behaviors JOURNAL ARTICLE published 31 July 2023 in ACM Transactions on Computational Logic |
Mechanizing UNITY in Isabelle JOURNAL ARTICLE published July 2000 in ACM Transactions on Computational Logic |
A dynamic approach to characterizing termination of general logic programs JOURNAL ARTICLE published October 2003 in ACM Transactions on Computational Logic |
Super logic programs JOURNAL ARTICLE published January 2004 in ACM Transactions on Computational Logic |
Polynomial-time computation via local inference relations JOURNAL ARTICLE published October 2002 in ACM Transactions on Computational Logic |
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) |
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) |
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation JOURNAL ARTICLE published 31 January 2023 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 |