11. LPAR 2004: Montevideo, Uruguay

• Matthias Baaz, Alexander Leitsch:
  CERES in Many-Valued Logics. 1-20
  Electronic Edition (link) BibTeX
• Ullrich Hustadt, Boris Motik, Ulrike Sattler:
  A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. 21-35
  Electronic Edition (link) BibTeX
• Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli:
  Abstract DPLL and Abstract DPLL Modulo Theories. 36-50
  Electronic Edition (link) BibTeX
• Pascal Fontaine, Silvio Ranise, Calogero G. Zarba:
  Combining Lists with Non-stably Infinite Theories. 51-66
  Electronic Edition (link) BibTeX
• Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa:
  Abstract Model Generation for Preprocessing Clause Sets. 67-78
  Electronic Edition (link) BibTeX
• Helmut Seidl, Kumar Neeraj Verma:
  Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying. 79-94
  Electronic Edition (link) BibTeX
• Vilhelm Dahllöf:
  Applications of General Exact Satisfiability in Propositional Logic Modelling. 95-109
  Electronic Edition (link) BibTeX
• Nathan Whitehead, Martín Abadi:
  BCiC: A System for Code Authentication and Verification. 110-124
  Electronic Edition (link) BibTeX
• Carlos Areces, Daniel Gorín:
  Ordered Resolution with Selection for H(@). 125-141
  Electronic Edition (link) BibTeX
• Jerzy Marcinkowski, Jan Otop, Grzegorz Stelmaszek:
  On a Semantic Subsumption Test. 142-153
  Electronic Edition (link) BibTeX
• Thomas Linke, Vladimir Sarsakov:
  Suitable Graphs for Answer Set Programming. 154-168
  Electronic Edition (link) BibTeX
• Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
  Weighted Answer Sets and Applications in Intelligence Analysis. 169-183
  Electronic Edition (link) BibTeX
• Igor Walukiewicz:
  How to Fix It: Using Fixpoints in Different Contexts. 184-193
  Electronic Edition (link) BibTeX
• Benjamin Aminof, Thomas Ball, Orna Kupferman:
  Reasoning About Systems with Transition Fairness. 194-208
  Electronic Edition (link) BibTeX
• Dietmar Berwanger, Erich Grädel:
  Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. 209-223
  Electronic Edition (link) BibTeX
• Christopher Hardin:
  How the Location of * Influences Complexity in Kleene Algebra with Tests. 224-239
  Electronic Edition (link) BibTeX
• Roberto Di Cosmo, Thomas Dufour:
  The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable. 240-256
  Electronic Edition (link) BibTeX
• Gustav Nordh:
  A Trichotomy in the Complexity of Propositional Circumscription. 257-269
  Electronic Edition (link) BibTeX
• Lucas Bordeaux, Marco Cadoli, Toni Mancini:
  Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. 270-284
  Electronic Edition (link) BibTeX
• Marco Benedetti:
  Evaluating QBFs via Symbolic Skolemization. 285-300
  Electronic Edition (link) BibTeX
• Jürgen Giesl, René Thiemann, Peter Schneider-Kamp:
  The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs. 301-331
  Electronic Edition (link) BibTeX
• Christoph Walther, Stephan Schweitzer:
  Automated Termination Analysis for Incompletely Defined Programs. 332-346
  Electronic Edition (link) BibTeX
• Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska:
  Automatic Certification of Heap Consumption. 347-362
  Electronic Edition (link) BibTeX
• Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò:
  A Formalization of Off-Line Guessing for Security Protocol Analysis. 363-379
  Electronic Edition (link) BibTeX
• Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
  Abstraction-Carrying Code. 380-397
  Electronic Edition (link) BibTeX
• Norbert Schirmer:
  A Verification Environment for Sequential Imperative Programs in Isabelle/HOL. 398-414
  Electronic Edition (link) BibTeX
• Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber:
  Can a Higher-Order and a First-Order Theorem Prover Cooperate?. 415-431
  Electronic Edition (link) BibTeX
• Markus Müller-Olm, Helmut Seidl:
  A Generic Framework for Interprocedural Analyses of Numerical Properties. 432-432
  Electronic Edition (link) BibTeX
• Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón:
  Second-Order Matching via Explicit Substitutions. 433-448
  Electronic Edition (link) BibTeX
• Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride:
  Knowledge-Based Synthesis of Distributed Systems Using Event Structures. 449-465
  Electronic Edition (link) BibTeX
• Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park:
  The Inverse Method for the Logic of Bunched Implications. 466-480
  Electronic Edition (link) BibTeX
• Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr:
  Cut-Elimination: Experiments with CERES. 481-495
  Electronic Edition (link) BibTeX
• Agata Ciabattoni, Christian G. Fermüller, George Metcalfe:
  Uniform Rules and Dialogue Games for Fuzzy Logics. 496-510
  Electronic Edition (link) BibTeX
• Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
  Nonmonotonic Description Logic Programs: Implementation and Experiments. 511-527
  Electronic Edition (link) BibTeX
• Pablo López, Jeff Polakow:
  Implementing Efficient Resource Management for Linear Logic Programming. 528-543
  Electronic Edition (link) BibTeX
• M. Jamshid Bagherzadeh, S. Arun-Kumar:
  Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals. 544-559
  Electronic Edition (link) BibTeX