Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Computational Logic, Volume 14
Volume 14, Number 1, February 2013
- Hariolf Betz, Thom W. Frühwirth:
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction. 1:1-1:37 - Markus Krötzsch
, Sebastian Rudolph, Pascal Hitzler:
Complexities of Horn Description Logics. 2:1-2:36 - Xiaoping Chen, Jianmin Ji, Fangzhen Lin:
Computing Loops with at Most One External Support Rule. 3:1-3:34 - Mathieu Baudet, Véronique Cortier, Stéphanie Delaune:
YAPA: A Generic Tool for Computing Intruder Knowledge. 4:1-4:32 - Richard McKinley:
Proof Nets for Herbrand's Theorem. 5:1-5:31 - Dominique Larchey-Wendling, Didier Galmiche:
Nondeterministic Phase Semantics and the Undecidability of Boolean BI. 6:1-6:41 - Marcello M. Bonsangue, Stefan Milius, Alexandra Silva:
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. 7:1-7:52
Volume 14, Number 2, June 2013
- Alexander Kartzow:
First-Order Logic on Higher-Order Nested Pushdown Trees. 8:1-8:45 - Paul Gastin, Nathalie Sznajder:
Fair Synthesis for Asynchronous Distributed Systems. 9:1-9:31 - Paulo Shakarian, Matthias Broecheler, V. S. Subrahmanian, Cristian Molinaro:
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems. 10:1-10:40 - Mnacho Echenim, Nicolas Peltier:
Instantiation Schemes for Nested Theories. 11:1-11:34 - Gerardo I. Simari, John P. Dickerson, Amy Sliva, V. S. Subrahmanian:
Parallel Abductive Query Answering in Probabilistic Logic Programs. 12:1-12:39 - Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Topological Logics with Connectedness over Euclidean Spaces. 13:1-13:48 - James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
A Model-Theoretic Approach to Belief Change in Answer Set Programming. 14:1-14:46 - Martin Gebser, Torsten Schaub:
Tableau Calculi for Logic Programs under Answer Set Semantics. 15:1-15:40 - José Júlio Alferes, Matthias Knorr, Terrance Swift:
Query-Driven Procedures for Hybrid MKNF Knowledge Bases. 16:1-16:43
Volume 14, Number 3, August 2013
- Johan Wittocx, Marc Denecker, Maurice Bruynooghe:
Constraint Propagation for First-Order Logic and Inductive Definitions. 17:1-17:45 - M. Praveen:
Does Treewidth Help in Modal Satisfiability? 18:1-18:32 - Tony Tan:
Graph Reachability and Pebble Automata over Infinite Alphabets. 19:1-19:31 - Olaf Beyersdorff, Nicola Galesi, Massimo Lauria:
Parameterized Complexity of DPLL Search Procedures. 20:1-20:21 - Angelos Charalambidis, Konstantinos Handjopoulos, Panagiotis Rondogiannis, William W. Wadge:
Extensional Higher-Order Logic Programming. 21:1-21:40 - Elvira Albert, Samir Genaim, Abu Naser Masud:
On the Inference of Resource Usage Upper and Lower Bounds. 22:1-22:35 - Floor Sietsma, Krzysztof R. Apt:
Common Knowledge in Email Exchanges. 23:1-23:23 - Andreas Herzig, Jérôme Lang, Pierre Marquis:
Propositional Update Operators Based on Formula/Literal Dependence. 24:1-24:31
Volume 14, Number 4, November 2013
- Wojciech Kazana, Luc Segoufin:
Enumeration of monadic second-order queries on trees. 25:1-25:12 - Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles:
Computing persistent homology within Coq/SSReflect. 26:1-26:16 - Ori Lahav, Arnon Avron:
A unified semantic framework for fully structural propositional sequent systems. 27:1-27:33 - Jose Gaintzarain, Paqui Lucio:
Logical foundations for more expressive declarative temporal logic programming languages. 28:1-28:41 - Olivier Danvy, Ian Zerny:
Three syntactic theories for combinatory graph reduction. 29:1-29:27 - Manuel Bodirsky, H. Dugald Macpherson, Johan Thapper:
Constraint satisfaction tractability from semi-lattice operations on infinite sets. 30:1-30:19 - Jeroen Ketema, Jakob Grue Simonsen:
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus. 31:1-31:28 - Florian Rabe, Kristina Sojakova:
Logical relations for a logical framework. 32:1-32:34 - Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Verification of linear duration properties over continuous-time markov chains. 33:1-33:35 - Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut:
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators. 34:1-34:37
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
