Facet browsing currently unavailable
Page 10 of 751 results
Sort by: relevance publication year
Erratum to splitting an operator JOURNAL ARTICLE published January 2007 in ACM Transactions on Computational Logic |
A Certified Reduction Strategy for Homological Image Processing JOURNAL ARTICLE published 8 July 2014 in ACM Transactions on Computational Logic Research funded by European Union's 7th Framework Programme (243847) | EPSRC (EP/J014222/1 and EP/K031864/1) |
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators JOURNAL ARTICLE published November 2013 in ACM Transactions on Computational Logic Research funded by Engineering and Physical Sciences Research Council (EP/F042728/1) |
Higher-order pattern complement and the strict λ-calculus JOURNAL ARTICLE published October 2003 in ACM Transactions on Computational Logic |
A Generalized Realizability and Intuitionistic Logic JOURNAL ARTICLE published 30 April 2023 in ACM Transactions on Computational Logic Research funded by Russian Foundation for Basic Research (20-01-00670) |
Synchronizing Data Words for Register Automata JOURNAL ARTICLE published 30 April 2019 in ACM Transactions on Computational Logic Research funded by Deutsche Forschungsgemeinschaft (QU 316/1-2) |
Parallel Abductive Query Answering in Probabilistic Logic Programs JOURNAL ARTICLE published June 2013 in ACM Transactions on Computational Logic Research funded by U.S. Army Research Laboratory (W911NF0920072) | Air Force Office of Scientific Research (FA95500610405) | National Science Foundation (0540216, SES0826886) | Army Research Office (W911NF0910206, W911NF1110344) | Division of Social and Economic Sciences (0540216, SES0826886) |
Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework JOURNAL ARTICLE published 31 July 2023 in ACM Transactions on Computational Logic Research funded by German Research Foundation (ME4279/ 1-2) |
JOURNAL ISSUE published 10 December 2015 in ACM Transactions on Computational Logic |
Lower bounds for bounded depth Frege proofs via Pudlák-Buss games JOURNAL ARTICLE published May 2010 in ACM Transactions on Computational Logic |
JOURNAL ISSUE published 1 April 2012 in ACM Transactions on Computational Logic |
JOURNAL ISSUE published 16 July 2019 in ACM Transactions on Computational Logic |
Zeno, Hercules, and the Hydra JOURNAL ARTICLE published 22 July 2016 in ACM Transactions on Computational Logic |
Soft concurrent constraint programming JOURNAL ARTICLE published July 2006 in ACM Transactions on Computational Logic |
The axiomatic translation principle for modal logic JOURNAL ARTICLE published August 2007 in ACM Transactions on Computational Logic |
Least and Greatest Fixed Points in Linear Logic JOURNAL ARTICLE published January 2012 in ACM Transactions on Computational Logic Research funded by Division of Computing and Communication Foundations (CCF-0917140) |
Dynamic Reasoning Systems JOURNAL ARTICLE published 19 November 2015 in ACM Transactions on Computational Logic |
JOURNAL ISSUE published 4 October 2019 in ACM Transactions on Computational Logic |
The Complexity of Phylogeny Constraint Satisfaction Problems JOURNAL ARTICLE published 31 July 2017 in ACM Transactions on Computational Logic Research funded by European Research Council (257039 and No. 681988) | Austrian Science Fund (P27600) | European Research Council under the European Community’s Seventh Framework Programme (257039) | Vietnam National Foundation for Science and Technology Development (101.99-2016.16) | German Science Foundation (622397) | Swedish Research Council (621-2012-3239) |
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement JOURNAL ARTICLE published December 2007 in ACM Transactions on Computational Logic |