Facet browsing currently unavailable
Page 10 of 751 results
Sort by: relevance publication year
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) |
Inputs and Outputs in CSP JOURNAL ARTICLE published 31 July 2020 in ACM Transactions on Computational Logic Research funded by Royal Academy of Engineering (CiET1718/45) | EPSRC (EP/M025756/1, EP/R025479/1, EP/R025134/1) | CNPq (249710/2013-7) |
On compositionality and its limitations JOURNAL ARTICLE published January 2007 in ACM Transactions on Computational Logic |
A Hoare Logic for GPU Kernels JOURNAL ARTICLE published 31 January 2017 in ACM Transactions on Computational Logic |
A flow calculus ofmwp-bounds for complexity analysis JOURNAL ARTICLE published August 2009 in ACM Transactions on Computational Logic |
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement JOURNAL ARTICLE published December 2007 in ACM Transactions on Computational Logic |
Interval Temporal Logic for Visibly Pushdown Systems JOURNAL ARTICLE published 31 July 2023 in ACM Transactions on Computational Logic |
Hypothesis-based semantics of logic programs in multivalued logics JOURNAL ARTICLE published July 2004 in ACM Transactions on Computational Logic |
Information Flow under Budget Constraints JOURNAL ARTICLE published 31 October 2017 in ACM Transactions on Computational Logic |
Merging in the Horn Fragment JOURNAL ARTICLE published 31 January 2017 in ACM Transactions on Computational Logic Research funded by FWF project (W1255-N23) | Austrian Science Fund (P25518 and P25521) |
Parametrised Complexity of Satisfiability in Temporal Logic JOURNAL ARTICLE published 31 January 2017 in ACM Transactions on Computational Logic Research funded by DFG (ME 4279/1-1) |