Facet browsing currently unavailable
Page 3 of 751 results
Sort by: relevance publication year
Predicate abstraction with indexed predicates JOURNAL ARTICLE published December 2007 in ACM Transactions on Computational Logic |
Logics with Multiteam Semantics JOURNAL ARTICLE published 30 April 2022 in ACM Transactions on Computational Logic Research funded by DFG (RTG 2236) |
JOURNAL ISSUE published 1 January 2009 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) |
A PSPACE-complete first-order fragment of computability logic JOURNAL ARTICLE published February 2014 in ACM Transactions on Computational Logic |
Inference of Field-Sensitive Reachability and Cyclicity JOURNAL ARTICLE published August 2014 in ACM Transactions on Computational Logic |
Degree lower bounds of tower-type for approximating formulas with parity quantifiers JOURNAL ARTICLE published February 2014 in ACM Transactions on Computational Logic Research funded by EPSRC (EP/H026835) |
Graph Reachability and Pebble Automata over Infinite Alphabets JOURNAL ARTICLE published August 2013 in ACM Transactions on Computational Logic |
On the Power of Substitution in the Calculus of Structures JOURNAL ARTICLE published 8 July 2015 in ACM Transactions on Computational Logic Research funded by Ministry of Education and Science of Serbia (ON 174026) | ANR (2010-INTB-0202 STRUCTURAL) |
A counterexample-guided abstraction-refinement framework for markov decision processes JOURNAL ARTICLE published October 2010 in ACM Transactions on Computational Logic Research funded by Division of Computing and Communication Foundations (CCF 0429639CCF 0448178CNS 0509321) |
A logic programming approach to knowledge-state planning JOURNAL ARTICLE published April 2004 in ACM Transactions on Computational Logic |
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability JOURNAL ARTICLE published 31 January 2021 in ACM Transactions on Computational Logic Research funded by French National Research Agency (ANR-17-CE39-0004-01) |
Quantifier-free interpolation in combinations of equality interpolating theories JOURNAL ARTICLE published February 2014 in ACM Transactions on Computational Logic |
May-Happen-in-Parallel Analysis for Actor-Based Concurrency JOURNAL ARTICLE published 28 March 2016 in ACM Transactions on Computational Logic |
Alternating timed automata JOURNAL ARTICLE published March 2008 in ACM Transactions on Computational Logic Research funded by Polish government (N206 008 32/0810) |
Unfolding partiality and disjunctions in stable model semantics JOURNAL ARTICLE published January 2006 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 |
Clausal temporal resolution JOURNAL ARTICLE published January 2001 in ACM Transactions on Computational Logic |
MaxSAT Resolution and Subcube Sums JOURNAL ARTICLE published 31 January 2023 in ACM Transactions on Computational Logic |