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

Proposition algebra

JOURNAL ARTICLE published May 2011 in ACM Transactions on Computational Logic

Authors: Jan A. Bergstra | Alban Ponse

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

Structural Analysis of Boolean Equation Systems

JOURNAL ARTICLE published January 2012 in ACM Transactions on Computational Logic

Authors: Jeroen J. A. Keiren | Michel A. Reniers | Tim A. C. Willemse

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

Ordinary interactive small-step algorithms, II

JOURNAL ARTICLE published July 2007 in ACM Transactions on Computational Logic

Authors: Andreas Blass | Yuri Gurevich

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

Verification of linear duration properties over continuous-time markov chains

JOURNAL ARTICLE published November 2013 in ACM Transactions on Computational Logic

Authors: Taolue Chen | Marco Diciolla | Marta Kwiatkowska | Alexandru Mereacre

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

Convergence law for random graphs with specified degree sequence

JOURNAL ARTICLE published October 2005 in ACM Transactions on Computational Logic

Authors: James F. Lynch

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

LTL with the freeze quantifier and register automata

JOURNAL ARTICLE published April 2009 in ACM Transactions on Computational Logic

Research funded by Engineering and Physical Sciences Research Council (GR/S52759/01)

Authors: Stéphane Demri | Ranko Lazić

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

Precise Subtyping for Asynchronous Multiparty Sessions

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

Research funded by EU Horizon 2020 (830929 EUH2020) | EU COST (SP4670, CA15123 SP4670 and IC1201 SP4670) | EPSRC (EP/T006544/1, EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1, EP/T006544/1, EP/T014709/1, EP/V000462/1, EP/X015955/1) | MPNTR MPNTR and SFRS SFRS (6526707 SFRS and 6458932 SFRS) | Danmark Industriens Fond DIF (2020-0489 DIF)

Authors: Silvia Ghilezan | Jovanka Pantović | Ivan Prokić | Alceste Scalas | Nobuko Yoshida

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

A classification of symbolic transition systems

JOURNAL ARTICLE published January 2005 in ACM Transactions on Computational Logic

Authors: Thomas A. Henzinger | Rupak Majumdar | Jean-François Raskin

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

LTL over description logic axioms

JOURNAL ARTICLE published August 2012 in ACM Transactions on Computational Logic

Authors: Franz Baader | Silvio Ghilardi | Carsten Lutz

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

Local Search For Satisfiability Modulo Integer Arithmetic Theories

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

Research funded by Strategic Priority Research Program of the Chinese Academy of Sciences (XDA0320000 and XDA0320300) | NSFC (62122078)

Authors: Shaowei Cai | Bohan Li | Xindi Zhang

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

Boolean satisfiability with transitivity constraints

JOURNAL ARTICLE published October 2002 in ACM Transactions on Computational Logic

Authors: Randal E. Bryant | Miroslav N. Velev

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

Witnesses for Answer Sets of Logic Programs

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

Research funded by NSFC (61976065 and U1836205) | Guizhou Science Support Project (2022-259) | European Humane-AI Net project (ICT-48-2020-RIA/952026) | National Science Foundation (DRL-1901704)

Authors: Yisong Wang | Thomas Eiter | Yuanlin Zhang | Fangzhen Lin

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

A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases

JOURNAL ARTICLE published March 2015 in ACM Transactions on Computational Logic

Research funded by Division of Computer and Network Systems (CNS1116050)

Authors: Jia Tao | Giora Slutzki | Vasant Honavar

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

Łukasiewicz Games

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

Research funded by Engineering and Physical Sciences Research Council (EP/M009130/1) | European Research Council (291528 (RACE)) | Seventh Framework Programme (301625 (NAAMSI))

Authors: Enrico Marchioni | Michael Wooldridge

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

Power and Limits of Structural Display Rules

JOURNAL ARTICLE published 22 July 2016 in ACM Transactions on Computational Logic

Research funded by Austrian Science Fund (FWF), START (Y544)

Authors: Agata Ciabattoni | Revantha Ramanayake

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

Probabilistic game semantics

JOURNAL ARTICLE published July 2002 in ACM Transactions on Computational Logic

Authors: Vincent Danos | Russell S. Harmer

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

Making abstract domains condensing

JOURNAL ARTICLE published January 2005 in ACM Transactions on Computational Logic

Authors: Roberto Giacobazzi | Francesco Ranzato | Francesca Scozzari

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

Complexity of Data Dependence Problems for Program Schemas with Concurrency

JOURNAL ARTICLE published April 2012 in ACM Transactions on Computational Logic

Research funded by Engineering and Physical Sciences Research Council (EP/E002919/1)

Authors: Sebastian Danicic | Robert M. Hierons | Michael R. Laurence

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

Strategic Knowledge Acquisition

JOURNAL ARTICLE published 30 July 2021 in ACM Transactions on Computational Logic

Authors: Kaya Deuser | Pavel Naumov

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