Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 751 results
Sort by: relevance publication year
Showing results for ISSN matching 1529-3785

Succinctness of Order-Invariant Logics on Depth-Bounded Structures

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

Authors: Kord Eickmeyer | Michael Elberfeld | Frederik Harwath

https://doi.org/10.1145/3152770 Actions

Back and forth between guarded and modal logics

JOURNAL ARTICLE published July 2002 in ACM Transactions on Computational Logic

Authors: Erich Grädel | Colin Hirsch | Martin Otto

https://doi.org/10.1145/507382.507388 Actions

Interaction between path and type constraints

JOURNAL ARTICLE published October 2003 in ACM Transactions on Computational Logic

Authors: Peter Buneman | Wenfei Fan | Scott Weinstein

https://doi.org/10.1145/937555.937560 Actions

Locality of order-invariant first-order formulas

JOURNAL ARTICLE published July 2000 in ACM Transactions on Computational Logic

Authors: Martin Grohe | Thomas Schwentick

https://doi.org/10.1145/343369.343386 Actions

JOURNAL ISSUE published 1 July 2011 in ACM Transactions on Computational Logic

https://doi.org/10.1145/1970398 Actions

Equations, Contractions, and Unique Solutions

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

Research funded by MIUR-PRIN project (“CINA.”) | ANR project (12IS02001 “PACE”)

Authors: Davide Sangiorgi

https://doi.org/10.1145/2971339 Actions

JOURNAL ISSUE published 19 December 2017 in ACM Transactions on Computational Logic

https://doi.org/10.1145/3143777 Actions

JOURNAL ISSUE published 21 August 2017 in ACM Transactions on Computational Logic

https://doi.org/10.1145/3130378 Actions

JOURNAL ISSUE published 1 January 2012 in ACM Transactions on Computational Logic

https://doi.org/10.1145/2071368 Actions

Reasoning about Quality and Fuzziness of Strategic Behaviors

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

Authors: Patricia Bouyer | Orna Kupferman | Nicolas Markey | Bastien Maubert | Aniello Murano | Giuseppe Perelli

https://doi.org/10.1145/3582498 Actions

Mechanizing UNITY in Isabelle

JOURNAL ARTICLE published July 2000 in ACM Transactions on Computational Logic

Authors: Lawrence C. Paulson

https://doi.org/10.1145/343369.343370 Actions

A dynamic approach to characterizing termination of general logic programs

JOURNAL ARTICLE published October 2003 in ACM Transactions on Computational Logic

Authors: Yi-Dong Shen | Jia-Huai You | Li-Yan Yuan | Samuel S. P. Shen | Qiang Yang

https://doi.org/10.1145/937555.937556 Actions

Super logic programs

JOURNAL ARTICLE published January 2004 in ACM Transactions on Computational Logic

Authors: Stefan Brass | Jürgen Dix | Teodor C. Przymusinski

https://doi.org/10.1145/963927.963931 Actions

Polynomial-time computation via local inference relations

JOURNAL ARTICLE published October 2002 in ACM Transactions on Computational Logic

Authors: Robert Givan | David Mcallester

https://doi.org/10.1145/566385.566387 Actions

A fast algorithm and datalog inexpressibility for temporal reasoning

JOURNAL ARTICLE published May 2010 in ACM Transactions on Computational Logic

Research funded by Ministry of Education, Youth and Sports (1M0021620808)

Authors: Manuel Bodirsky | Jan Kára

https://doi.org/10.1145/1740582.1740583 Actions

Higher Homotopies in a Hierarchy of Univalent Universes

JOURNAL ARTICLE published 21 March 2015 in ACM Transactions on Computational Logic

Research funded by Air Force Research Laboratory (FA8655-13-1-3038)

Authors: Nicolai Kraus | Christian Sattler

https://doi.org/10.1145/2729979 Actions

The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation

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

Authors: Catarina Carvalho | Florent Madelaine | Barnaby Martin | Dmitriy Zhuk

https://doi.org/10.1145/3568397 Actions

JOURNAL ISSUE published 1 July 2007 in ACM Transactions on Computational Logic

https://doi.org/10.1145/1243996 Actions

JOURNAL ISSUE published 24 March 2015 in ACM Transactions on Computational Logic

https://doi.org/10.1145/2670130 Actions

JOURNAL ISSUE published 1 January 2007 in ACM Transactions on Computational Logic

https://doi.org/10.1145/1182613 Actions
Feedback: support@crossref.org