LPAR'2000 list of accepted papers (with links to abstracts)

  1. A New Model Construction for the Polymorphic Lambda Calculus, Dieter Spreen
  2. Proof Simplification for Model Generation and Its Applications, Miyuki Koshimura, Ryuzo Hasegawa
  3. Equational Binary Decision Diagrams, Jan Friso Groote, Jaco van de Pol
  4. The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus, Steffen Hoelldobler, Dietrich Kuske
  5. Static Reduction Analysis for Imperative Object-Oriented Languages, Gilles Barthe, Bernard Serpette
  6. A Tactic Language for the System Coq, David Delahaye
  7. Encoding Temporal Logics in Executable Z:A Case Study for the ZETA System, Wolfgang Grieskamp, Markus Lepper
  8. An Abstract Interpretation approach to Termination of Logic, Roberta Gori
  9. Behavioural constructor implementation for regular algebras, Slawomir Lasota
  10. Query Containment Using a DLR ABox, I. Horrocks, U. Sattler, S. Tessaris, S. Tobies
  11. Efficient first order functional program interpreter with time bound certifications, J.-Y. Marion, J.-Y. Moyen
  12. Efficient Structural Information Analysis for Real CLP Languages, Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
  13. An Extensible Proof Text Editor, Thomas Hallgren, Aarne Ranta
  14. Using an Abstract Representation to Specialize Functional Logic Programs, Elvira Albert, Michael Hanus, German Vidal
  15. Proof-search in implicative linear logic as a matching problem, Philippe de Groote
  16. On the Alternation-free Horn mu-calculus, Jean-Marc Talbot
  17. Have SPASS with OCC1N^=_g, Christian G. Fermuller, Georeg Moser
  18. Binding-Time Analysis by Constraint Solving:A modular and higher-order approach for Mercury, Wim Vanhoof
  19. Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison, Nikolay Pelov, Emmanuel De Mot, Marc Denecker
  20. A Kripkean Semantics for Dynamic Logic, Jan Sefranek
  21. A PVS Proof Obligation Generator for Lustre Programs, Cecile Canovas-Dumas, Paul Caspi
  22. Solving Planning Problems by Partial Deduction, Helko Lehmann, Michael Leuschel
  23. Quantified Propositional Goedel Logics, Matthias Baaz, Agata Ciabattoni, Richard Zach
  24. Querying Inconsistent Databases, S.Greco, E. Zumpano
  25. Playing Logic Programs with the Alpha-Beta Algorithm, Roberto Di Cosmo, Jean-Vincent Loddo
  26. On Church's Lambda Delta Calculus, Richard Statman

Andrei Voronkov
Last modified: Tue Aug 1 17:08:07 BST 2000