Abstract is missing.
- Proofs About Lists Using EllipsisAlan Bundy, Julian Richardson. 1-12
- On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine SystemMiki Hermann, Laurent Juban, Phokion G. Kolaitis. 13-32
- Solving Combinatorial Problems with Regular Local Search AlgorithmsRamón Béjar, Felip Manyà. 33-43
- Evidence Algorithm and Sequent Logical Inference SearchAnatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets. 44-61
- First Order Linear Temporal Logic over Finite Time StructuresSerenella Cerrito, Marta Cialdea Mayer, Sébastien Praud. 62-76
- Model Checking Games for the Alternation-Free µ-Calculus and Alternating AutomataMartin Leucker. 77-91
- Animating TLA SpecificationsYassin Mokhtari, Stephan Merz. 92-110
- Transforming Conditional Rewrite Systems with Extra Variables into Unconditional SystemsEnno Ohlebusch. 111-130
- Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian GroupsUwe Waldmann. 131-147
- Regular Sets of Descendants for Constructor-Based Rewrite SystemsPierre Réty. 148-160
- Practical Reasoning for Expressive Description LogicsIan Horrocks, Ulrike Sattler, Stephan Tobies. 161-180
- Complexity of Terminological Reasoning RevisitedCarsten Lutz. 181-200
- On the Complexity of Single-Rule Datalog QueriesGeorg Gottlob, Christos H. Papadimitriou. 201-222
- Abstracting Properties in Concurrent Constraint ProgrammingRené Moreno. 223-237
- A Fixpoint Semantics for Reasoning about Finite FailureRoberta Gori. 238-257
- Extensions to the Estimation CalculusJeremy Gow, Alan Bundy, Ian Green. 258-272
- Beth Definability for the Guarded FragmentEva Hoogland, Maarten Marx, Martin Otto. 273-285
- Simplification of Horn Clauses That Are Clausal Forms of Guarded FormulasMichael Dierkes. 286-303
- Resource Management in Linear Logic Search RevisitedPablo López, Ernesto Pimentel. 304-319
- Fucusing and Proof-Nets in Linear and Non-commutative LogicJean-Marc Andreoli, Roberto Maieli. 321-336
- CHAT Is Theta(SLG-Wam)Bart Demoen, Konstantinos F. Sagonas. 337-357
- Proving Failure of Queries for Definite Logic Programs Using XSB-PrologNikolay Pelov, Maurice Bruynooghe. 358-375
- A Partial Evaluation Framework for Curry ProgramsElvira Albert, María Alpuente, Michael Hanus, Germán Vidal. 376-395