Facet browsing currently unavailable
Page 5 of 751 results
Sort by: relevance publication year
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 |
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) |
Quantifier-free interpolation in combinations of equality interpolating theories JOURNAL ARTICLE published February 2014 in ACM Transactions on Computational Logic |
The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates JOURNAL ARTICLE published 31 July 2020 in ACM Transactions on Computational Logic |
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) |
About the undecidability of program equivalence in finitary languages with state JOURNAL ARTICLE published October 2005 in ACM Transactions on Computational Logic |
Precongruence formats for decorated trace semantics JOURNAL ARTICLE published January 2004 in ACM Transactions on Computational Logic |
Description logics of minimal knowledge and negation as failure JOURNAL ARTICLE published April 2002 in ACM Transactions on Computational Logic |
Probabilistic bisimulation as a congruence JOURNAL ARTICLE published February 2009 in ACM Transactions on Computational Logic |
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) |
A General Theory of Barbs, Contexts, and Labels JOURNAL ARTICLE published August 2014 in ACM Transactions on Computational Logic |
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) |
Alternating timed automata JOURNAL ARTICLE published March 2008 in ACM Transactions on Computational Logic Research funded by Polish government (N206 008 32/0810) |
May-Happen-in-Parallel Analysis for Actor-Based Concurrency JOURNAL ARTICLE published 28 March 2016 in ACM Transactions on Computational Logic |
Clausal temporal resolution JOURNAL ARTICLE published January 2001 in ACM Transactions on Computational Logic |
Ł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)) |
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) |