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

Predicate abstraction with indexed predicates

JOURNAL ARTICLE published December 2007 in ACM Transactions on Computational Logic

Authors: Shuvendu K. Lahiri | Randal E. Bryant

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

Logics with Multiteam Semantics

JOURNAL ARTICLE published 30 April 2022 in ACM Transactions on Computational Logic

Research funded by DFG (RTG 2236)

Authors: Erich Grädel | Richard Wilke

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

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

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

Nominal Unification from a Higher-Order Perspective

JOURNAL ARTICLE published April 2012 in ACM Transactions on Computational Logic

Research funded by TASSAT (TIN2010-20967-C04-01) | SUROS (TIN2008-04547)

Authors: Jordi Levy | Mateu Villaret

https://doi.org/10.1145/2159531.2159532 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

Inference of Field-Sensitive Reachability and Cyclicity

JOURNAL ARTICLE published August 2014 in ACM Transactions on Computational Logic

Authors: Damiano Zanardini | Samir Genaim

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

Degree lower bounds of tower-type for approximating formulas with parity quantifiers

JOURNAL ARTICLE published February 2014 in ACM Transactions on Computational Logic

Research funded by EPSRC (EP/H026835)

Authors: Albert Atserias | Anuj Dawar

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

Graph Reachability and Pebble Automata over Infinite Alphabets

JOURNAL ARTICLE published August 2013 in ACM Transactions on Computational Logic

Authors: Tony Tan

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

On the Power of Substitution in the Calculus of Structures

JOURNAL ARTICLE published 8 July 2015 in ACM Transactions on Computational Logic

Research funded by Ministry of Education and Science of Serbia (ON 174026) | ANR (2010-INTB-0202 STRUCTURAL)

Authors: Novak Novaković | Lutz Straßburger

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

A counterexample-guided abstraction-refinement framework for markov decision processes

JOURNAL ARTICLE published October 2010 in ACM Transactions on Computational Logic

Research funded by Division of Computing and Communication Foundations (CCF 0429639CCF 0448178CNS 0509321)

Authors: Rohit Chadha | Mahesh Viswanathan

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

A logic programming approach to knowledge-state planning

JOURNAL ARTICLE published April 2004 in ACM Transactions on Computational Logic

Authors: Thomas Eiter | Wolfgang Faber | Nicola Leone | Gerald Pfeifer | Axel Polleres

https://doi.org/10.1145/976706.976708 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

Quantifier-free interpolation in combinations of equality interpolating theories

JOURNAL ARTICLE published February 2014 in ACM Transactions on Computational Logic

Authors: Roberto Bruttomesso | Silvio Ghilardi | Silvio Ranise

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

May-Happen-in-Parallel Analysis for Actor-Based Concurrency

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

Authors: Elvira Albert | Antonio Flores-Montoya | Samir Genaim | Enrique Martin-Martin

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

Alternating timed automata

JOURNAL ARTICLE published March 2008 in ACM Transactions on Computational Logic

Research funded by Polish government (N206 008 32/0810)

Authors: Slawomir Lasota | Igor Walukiewicz

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

Unfolding partiality and disjunctions in stable model semantics

JOURNAL ARTICLE published January 2006 in ACM Transactions on Computational Logic

Authors: Tomi Janhunen | Ilkka Niemelä | Dietmar Seipel | Patrik Simons | Jia-Huai You

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

Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types

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

Authors: Steffen Van Bakel

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

Abstract canonical inference

JOURNAL ARTICLE published January 2007 in ACM Transactions on Computational Logic

Authors: Maria Paola Bonacina | Nachum Dershowitz

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

Clausal temporal resolution

JOURNAL ARTICLE published January 2001 in ACM Transactions on Computational Logic

Authors: Michael Fisher | Clare Dixon | Martin Peim

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

MaxSAT Resolution and Subcube Sums

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

Authors: Yuval Filmus | Meena Mahajan | Gaurav Sood | Marc Vinyals

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