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

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus

JOURNAL ARTICLE published 28 March 2024 in ACM Transactions on Computational Logic

Authors: David M. Cerna | Michal Buran

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

Comprehending software correctness implies comprehending an intelligence-related limitation

JOURNAL ARTICLE published July 2006 in ACM Transactions on Computational Logic

Authors: Arthur Charlesworth

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

On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies

JOURNAL ARTICLE published 15 November 2016 in ACM Transactions on Computational Logic

Research funded by John Templeton Foundation (20517)

Authors: Lorenzo Carlucci | Nicola Galesi | Massimo Lauria

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

On the Decidability of Elementary Modal Logics

JOURNAL ARTICLE published 10 December 2015 in ACM Transactions on Computational Logic

Research funded by Austrian Science Fund (FWF)NFN (S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award)) | Polish National Science Center (DEC-2011/03/N/ST6/00415,DEC-2013/09/B/ST6/01535) | European Research Council (267989 (QUAREM))

Authors: Jakub Michaliszyn | Jan Otop | Emanuel Kieroński

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

Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic

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

Authors: Camillo Fiorentini | Mauro Ferrari

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

Universal Equivalence and Majority of Probabilistic Programs over Finite Fields

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

Authors: Gilles Barthe | Charlie Jacomme | Steve Kremer

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

On Proof Complexity of Resolution over Polynomial Calculus

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

Research funded by GACR (19-27871X) | institute Grant RVO (67985840) | Specific university research (SVV-2020-260589)

Authors: Erfan Khaniki

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

Toward a Uniform Theory of Effectful State Machines

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

Research funded by Deutsche Forschungsgemeinschaft (GO 2161/1-2, MI 717/5-1)

Authors: Sergey Goncharov | Stefan Milius | Alexandra Silva

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

Compilability and compact representations of revision of Horn knowledge bases

JOURNAL ARTICLE published July 2000 in ACM Transactions on Computational Logic

Authors: Paolo Liberatore

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

Probabilistic Epistemic Updates on Algebras

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

Research funded by NWO (016.138.314)

Authors: Willem Conradie | Sabine Frittella | Alessandra Palmigiano | Apostolos Tzimoulis | Nachoem Wijnberg

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

Erratum for “What causes a system to satisfy a specification?”

JOURNAL ARTICLE published July 2010 in ACM Transactions on Computational Logic

Authors: Hana Chockler | Joseph Y. Halpern | Orna Kupferman

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

Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement

JOURNAL ARTICLE published October 2002 in ACM Transactions on Computational Logic

Authors: Mario Bravetti | Roberto Gorrieri

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

A decomposition-based implementation of search strategies

JOURNAL ARTICLE published April 2004 in ACM Transactions on Computational Logic

Authors: Laurent Michel | Pascal Van Hentenryck

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

JOURNAL ISSUE published 5 February 2019 in ACM Transactions on Computational Logic

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

Metric Temporal Description Logics with Interval-Rigid Names

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

Research funded by GOASQ (BA 1122/19-1) | Cluster of Excellence “Center forAdvancing Electronics Dresden” (389792660)

Authors: Franz Baader | Stefan Borgwardt | Patrick Koopmann | Ana Ozaki | Veronika Thost

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

Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction

JOURNAL ARTICLE published 28 March 2016 in ACM Transactions on Computational Logic

Research funded by Air Force Office of Scientific Research (FA9550-09-1-0596) | EU Seventh Framework Programme (PIOF-GA-2011-301166, DATAVERIF) | National Science Foundation (0644299)

Authors: Stephane Demri | Morgan Deters

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

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

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

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

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

Decidability of a Sound Set of Inference Rules for Computational Indistinguishability

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

Research funded by French National Research Agency (ANR-17-CE39-0004-01)

Authors: Adrien Koutsos

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

A PSPACE-complete first-order fragment of computability logic

JOURNAL ARTICLE published February 2014 in ACM Transactions on Computational Logic

Authors: Matthew S. Bauer

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