Skip to main content
SpringerLink
Log in
Book cover

Logic for Programming and Automated Reasoning

7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Michel Parigot

    1. CNRS, Université de Paris 7, Paris Cedex 05, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrei Voronkov

    1. Computer Science Department, University of Manchester, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1955)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Nonmononic reasoning

    1. On the Complexity of Theory Curbing

      • Thomas Eiter, Georg Gottlob
      Pages 1-19

  3. Descriptive complexity

    1. Graph Operations and Monadic Second-Order Logic: A Survey

      • Bruno Courcelle
      Pages 20-24

    2. Efficient First Order Functional Program Interpreter with Time Bound Certifications

      • Jean-Yves Marion, J.-Y. Moyen
      Pages 25-42

  4. Specification and automatic proof-assistants

    1. Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System

      • Wolfgang Grieskamp, Markus Lepper
      Pages 43-53

    2. Behavioural Constructor Implementation for Regular Algebras

      • Sławomir Lasota
      Pages 54-69

    3. An Extensible Proof Text Editor

      • Thomas Hallgren, Aarne Ranta
      Pages 70-84

    4. A Tactic Language for the System Coq

      • David Delahaye
      Pages 85-95

  5. Theorem proving

    1. Proof Simplification for Model Generation and Its Applications

      • Miyuki Koshimura, Ryuzo Hasegawa
      Pages 96-113

    2. Have SPASS with OCC1N g=

      • Christian G. Fermüller, Georg Moser
      Pages 114-130

  6. Verification

    1. Compiling and Verifying Security Protocols

      • Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
      Pages 131-160

    2. Equational Binary Decision Diagrams

      • Jan Friso Groote, Jaco van de Pol
      Pages 161-178

    3. A PVS Proof Obligation Generator for Lustre Programs

      • Cècile Canovas-Dumas, Paul Caspi
      Pages 179-188

  7. Logic programming and CLP

    1. Efficient Structural Information Analysis for Real CLP Languages

      • Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
      Pages 189-206

    2. Playing Logic Programs with the Alpha-Beta Algorithm

      • Jean-Vincent Loddo, Roberto Di Cosmo
      Pages 207-224

    3. Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison

      • Nikolay Pelov, Emmanuel De Mot, Marc Denecker
      Pages 225-239

  8. Nonclassical logics and lambda calculus

    1. Quantified Propositional Gödel Logics

      • Matthias Baaz, Agata Ciabattoni, Richard Zach
      Pages 240-256

    2. Proof-Search in Implicative Linear Logic as a Matching Problem

      • Philippe de Groote
      Pages 257-274

    3. A New Model Construction for the Polymorphic Lambda Calculus

      • Dieter Spreen
      Pages 275-292

    4. Church’s Lambda Delta Calculus

      • Rick Statman
      Pages 293-307
Back to top

Keywords

Editors and Affiliations

  • CNRS, Université de Paris 7, Paris Cedex 05, France

    Michel Parigot

  • Computer Science Department, University of Manchester, Manchester, UK

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation