ACM Transactions on Computational Logic (TOCL)
Accepted Papers, 2007
Volume 8, Number 1 (January 2007)
A System of Interaction and Structure
Alessio Guglielmi
Compilability of Propositional Abduction
Paolo Liberatore and Marco Schaerf
Results on the Quantitative Mu-Calculus
Annabelle McIver and Carroll Morgan
On Compositionality and its Limitations
Alex Rabinovich
Logical Characterizations of Heap Abstractions
G. Yorsh, T. Reps, M. Sagiv and R. Wilhelm
Abstract Canonical Inference
Maria Paola Bonacina and Nachum Dershowitz
Volume 8, Number 2 (April 2007)
Sound and Complete Elimination of Singleton Kinds
Karl Crary
Recycling Computed Answers in Rewrite Systems for Abduction
Fangzhen Lin and Jia-Huai You
Where Fail-Safe Default Logics Fail
Paolo Liberatore
Logical Definability and Query Languages over Ranked and Unranked Trees
M. Benedikt, L. Libkin and F. Neven
On Unification for Bounded Distributive Lattices
Viorica Sofronie-Stokkermans
The Arithmetical Complexity of Dimension and Randomness
John M. Hitchcock, Jack H. Lutz, Sebastiaan A. Terwijn
Volume 8, Number 3 (July 2007)
PELCR: Parallel Environment for Optimal Lambda Calculus Reduction
M. Pedicini, F. Quaglia
Ordinary Interactive Small-Step Algorithms II
Andreas Blass and Yuri Gurevich
Ordinary Interactive Small-Step Algorithms III
Andreas Blass and Yuri Gurevich
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming
Thomas Eiter, Michael Fink, and Stefan Woltran (
Electronic Appendix
)
Paraconsistent Reasoning and Preferential Entailments by Signed Quantified Boolean Formulae
Ofer Arieli
Volume 8, Number 4 (August 2007)
The Axiomatic Translation Principle for Modal Logic
Renate A. Schmidt and Ullrich Hustadt
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing
Sophie Laplante, Richard Lassaigne, Frederic Magniez, Sylvain Peyronnet and Michel de Rougemont
First-Order Queries on Structures of Bounded Degree Are Computable with Constant Delay
Arnaud Durand and Etienne Grandjean
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
Nicola Olivetti, Gian Luca Pozzato and Camilla Schwind
Removing Propagation Redundant Constraints in Redundant Modeling
Chiu Wo Choi, Jimmy Ho-Man Lee and Peter J. Stuckey
Probabilistic Interval XML
Edward Hung, Lise Getoor and V.S. Subrahmanian
Back to home page