14. LPAR 2007: Yerevan, Armenia

• Johann A. Makowsky:
  From Hilbert's Program to a Logic Toolbox. 1
  Electronic Edition (link) BibTeX
• Marko Samer, Helmut Veith:
  On the Notion of Vacuous Truth. 2-14
  Electronic Edition (link) BibTeX
• Richard J. Waldinger:
  Whatever Happened to Deductive Question Answering? 15-16
  Electronic Edition (link) BibTeX
• Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv:
  Decidable Fragments of Many-Sorted Logic. 17-31
  Electronic Edition (link) BibTeX
• Pietro Abate, Rajeev Goré, Florian Widmann:
  One-Pass Tableaux for Computation Tree Logic. 32-46
  Electronic Edition (link) BibTeX
• Behzad Akbarpour, Lawrence C. Paulson:
  Extending a Resolution Prover for Inequalities on Elementary Functions. 47-61
  Electronic Edition (link) BibTeX
• Roland Axelsson, Martin Lange:
  Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. 62-76
  Electronic Edition (link) BibTeX
• Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
  Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. 77-91
  Electronic Edition (link) BibTeX
• David Baelde, Dale Miller:
  Least and Greatest Fixed Points in Linear Logic. 92-106
  Electronic Edition (link) BibTeX
• Leopoldo E. Bertossi, Loreto Bravo:
  The Semantics of Consistency and Trust in Peer Data Exchange Systems. 107-122
  Electronic Edition (link) BibTeX
• Marc Bezem, Tore Langholm, Michal Walicki:
  Completeness and Decidability in Sequence Logic. 123-137
  Electronic Edition (link) BibTeX
• Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio:
  HORPO with Computability Closure: A Reconstruction. 138-150
  Electronic Edition (link) BibTeX
• Richard Bonichon, David Delahaye, Damien Doligez:
  Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. 151-165
  Electronic Edition (link) BibTeX
• Sebastian Brandt:
  Matching in Hybrid Terminologies. 166-180
  Electronic Edition (link) BibTeX
• Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch:
  Verifying Cryptographic Protocols with Subterms Constraints. 181-195
  Electronic Edition (link) BibTeX
• Véronique Cortier, Stéphanie Delaune:
  Deciding Knowledge in Security Protocols for Monoidal Equational Theories. 196-210
  Electronic Edition (link) BibTeX
• Zaynah Dargaye, Xavier Leroy:
  Mechanized Verification of CPS Transformations. 211-225
  Electronic Edition (link) BibTeX
• Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan:
  Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. 226-241
  Electronic Edition (link) BibTeX
• Stéphanie Delaune, Hai Lin, Christopher Lynch:
  Protocol Verification Via Rigid/Flexible Resolution. 242-256
  Electronic Edition (link) BibTeX
• Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
  Preferential Description Logics. 257-272
  Electronic Edition (link) BibTeX
• Philippe de Groote, Sarah Maarek, Ryo Yoshinaka:
  On Two Extensions of Abstract Categorial Grammars. 273-287
  Electronic Edition (link) BibTeX
• Éric Jaeger, Catherine Dubois:
  Why Would You Trust B ? 288-302
  Electronic Edition (link) BibTeX
• Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin:
  How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. 303-317
  Electronic Edition (link) BibTeX
• Emanuel Kieronski, Lidia Tendera:
  On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. 318-332
  Electronic Edition (link) BibTeX
• Adila Krisnadhi, Carsten Lutz:
  Data Complexity in the EL Family of Description Logics. 333-347
  Electronic Edition (link) BibTeX
• Michel Ludwig, Uwe Waldmann:
  An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. 348-362
  Electronic Edition (link) BibTeX
• Roberto Maieli:
  Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic. 363-377
  Electronic Edition (link) BibTeX
• Maarten Mariën, Johan Wittocx, Marc Denecker:
  Integrating Inductive Definitions in SAT. 378-392
  Electronic Edition (link) BibTeX
• Damiano Mazza, Michele Pagani:
  The Separation Theorem for Differential Interaction Nets. 393-407
  Electronic Edition (link) BibTeX
• Maja Milicic:
  Complexity of Planning in Action Formalisms Based on Description Logics. 408-422
  Electronic Edition (link) BibTeX
• David G. Mitchell, Faraz Hach, Raheleh Mohebali:
  Faster Phylogenetic Inference with MXG. 423-437
  Electronic Edition (link) BibTeX
• Alessandro Ferrante, Aniello Murano, Mimmo Parente:
  Enriched µ-Calculus Pushdown Module Checking. 438-453
  Electronic Edition (link) BibTeX
• Luís Moniz Pereira, Alexandre Miguel Pinto:
  Approved Models for Normal Logic Programs. 454-468
  Electronic Edition (link) BibTeX
• Gabriele Pulcini:
  Permutative Additives and Exponentials. 469-483
  Electronic Edition (link) BibTeX
• Marko Samer, Stefan Szeider:
  Algorithms for Propositional Model Counting. 484-498
  Electronic Edition (link) BibTeX
• Luigi Santocanale, Yde Venema:
  Completeness for Flat Modal Fixpoint Logics. 499-513
  Electronic Edition (link) BibTeX
• Mantas Simkus, Thomas Eiter:
  \mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. 514-530
  Electronic Edition (link) BibTeX
• Stéphane Demri, Alexander Rabinovich:
  The Complexity of Temporal Logic with Until and Since over Ordinals. 531-545
  Electronic Edition (link) BibTeX
• Josef Urban, Geoff Sutcliffe:
  ATP Cross-Verification of the Mizar MPTP Challenge Problems. 546-560
  Electronic Edition (link) BibTeX