Facet browsing currently unavailable
Page 4 of 751 results
Sort by: relevance publication year
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) |
Proof-complexity results for nonmonotonic reasoning JOURNAL ARTICLE published July 2001 in ACM Transactions on Computational Logic |
Unfolding partiality and disjunctions in stable model semantics JOURNAL ARTICLE published January 2006 in ACM Transactions on Computational Logic |
Power and Limits of Structural Display Rules JOURNAL ARTICLE published 22 July 2016 in ACM Transactions on Computational Logic Research funded by Austrian Science Fund (FWF), START (Y544) |
Verifying security protocols as planning in logic programming JOURNAL ARTICLE published October 2001 in ACM Transactions on Computational Logic |
A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases JOURNAL ARTICLE published March 2015 in ACM Transactions on Computational Logic Research funded by Division of Computer and Network Systems (CNS1116050) |
Fuzzy Equilibrium Logic JOURNAL ARTICLE published October 2012 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 |
Succinctness of Order-Invariant Logics on Depth-Bounded Structures JOURNAL ARTICLE published 31 October 2017 in ACM Transactions on Computational Logic |
Taming Paraconsistent (and Other) Logics JOURNAL ARTICLE published March 2015 in ACM Transactions on Computational Logic Research funded by Israel Science Foundation (280-10) |
Computing persistent homology within Coq/SSReflect JOURNAL ARTICLE published November 2013 in ACM Transactions on Computational Logic |
Belief Merging by Examples JOURNAL ARTICLE published 28 March 2016 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 |