Lower bounds for bounded depth Frege proofs via Pudlák-Buss games

JOURNAL ARTICLE published May 2010 in ACM Transactions on Computational Logic

Authors: Eli Ben-Sasson | Prahladh Harsha

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

Authors: Ranko Lazić | Joël Ouaknine | James Worrell

Soft concurrent constraint programming

JOURNAL ARTICLE published July 2006 in ACM Transactions on Computational Logic

Authors: Stefano Bistarelli | Ugo Montanari | Francesca Rossi

The axiomatic translation principle for modal logic

JOURNAL ARTICLE published August 2007 in ACM Transactions on Computational Logic

Authors: Renate A. Schmidt | Ullrich Hustadt

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)

Authors: David Baelde

Dynamic Reasoning Systems

JOURNAL ARTICLE published 19 November 2015 in ACM Transactions on Computational Logic

Authors: Daniel G. Schwartz

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)

Authors: Manuel Bodirsky | Peter Jonsson | Trung Van Pham

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)

Authors: Ana Cavalcanti | Robert M. Hierons | Sidney Nogueira

On compositionality and its limitations

JOURNAL ARTICLE published January 2007 in ACM Transactions on Computational Logic

Authors: Alexander Rabinovich

A Hoare Logic for GPU Kernels

JOURNAL ARTICLE published 31 January 2017 in ACM Transactions on Computational Logic

Authors: Kensuke Kojima | Atsushi Igarashi

A flow calculus ofmwp-bounds for complexity analysis

JOURNAL ARTICLE published August 2009 in ACM Transactions on Computational Logic

Authors: Neil D. Jones | Lars Kristiansen

A game-based framework for CTL counterexamples and 3-valued abstraction-refinement

JOURNAL ARTICLE published December 2007 in ACM Transactions on Computational Logic

Authors: Sharon Shoham | Orna Grumberg

Interval Temporal Logic for Visibly Pushdown Systems

JOURNAL ARTICLE published 31 July 2023 in ACM Transactions on Computational Logic

Authors: Laura Bozzelli | Angelo Montanari | Adriano Peron

Hypothesis-based semantics of logic programs in multivalued logics

JOURNAL ARTICLE published July 2004 in ACM Transactions on Computational Logic

Authors: Yann Loyer | Nicolas Spyratos | Daniel Stamate

Information Flow under Budget Constraints

JOURNAL ARTICLE published 31 October 2017 in ACM Transactions on Computational Logic

Authors: Pavel Naumov | Jia Tao

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)

Authors: Adrian Haret | Stefan Rümmele | Stefan Woltran

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)

Authors: Martin Lück | Arne Meier | Irena Schindler