Facet browsing currently unavailable
Page 2 of 751 results
Sort by: relevance publication year
JOURNAL ISSUE published 28 March 2016 in ACM Transactions on Computational Logic |
Propositional computability logic II JOURNAL ARTICLE published April 2006 in ACM Transactions on Computational Logic |
Strategic Knowledge Acquisition JOURNAL ARTICLE published 30 July 2021 in ACM Transactions on Computational Logic |
Tableau Calculi for Logic Programs under Answer Set Semantics JOURNAL ARTICLE published June 2013 in ACM Transactions on Computational Logic Research funded by Deutsche Forschungsgemeinschaft (SCHA 550/8-1/2) |
Knowledge in multiagent systems JOURNAL ARTICLE published October 2000 in ACM Transactions on Computational Logic |
Back and forth between guarded and modal logics JOURNAL ARTICLE published July 2002 in ACM Transactions on Computational Logic |
Products, Polynomials and Differential Equations in the Stream Calculus JOURNAL ARTICLE published 31 January 2024 in ACM Transactions on Computational Logic |
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) |
JOURNAL ISSUE published 22 July 2016 in ACM Transactions on Computational Logic |
Probabilistic agent programs JOURNAL ARTICLE published October 2000 in ACM Transactions on Computational Logic |
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties JOURNAL ARTICLE published December 2007 in ACM Transactions on Computational Logic |
Proofs, tests and continuation passing style JOURNAL ARTICLE published February 2009 in ACM Transactions on Computational Logic |
Ordinary interactive small-step algorithms, III JOURNAL ARTICLE published July 2007 in ACM Transactions on Computational Logic |
Deciding strategy properties of contract-signing protocols JOURNAL ARTICLE published May 2010 in ACM Transactions on Computational Logic Research funded by Deutsche Forschungsgemeinschaft (KU 1434/4-2KU 1434/5-1) | Swiss National Science Foundation (200021-116596) |
Proposition algebra JOURNAL ARTICLE published May 2011 in ACM Transactions on Computational Logic |
Structural Analysis of Boolean Equation Systems JOURNAL ARTICLE published January 2012 in ACM Transactions on Computational Logic |
Ordinary interactive small-step algorithms, II JOURNAL ARTICLE published July 2007 in ACM Transactions on Computational Logic |
Verification of linear duration properties over continuous-time markov chains JOURNAL ARTICLE published November 2013 in ACM Transactions on Computational Logic |
Convergence law for random graphs with specified degree sequence JOURNAL ARTICLE published October 2005 in ACM Transactions on Computational Logic |
Logics with Multiteam Semantics JOURNAL ARTICLE published 30 April 2022 in ACM Transactions on Computational Logic Research funded by DFG (RTG 2236) |