default search action

combined dblp search
author search
venue search
publication search

ask others

7th LPAR 2000: Reunion Island, France

> Home > Conferences and Workshops > LPAR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/2000
Michel Parigot, Andrei Voronkov:
Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings. Lecture Notes in Computer Science 1955, Springer 2000

Session 1. Nonmononic reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/EiterG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/EiterG00
Thomas Eiter, Georg Gottlob:
On the Complexity of Theory Curbing. 1-19

Session 2. Descriptive complexity

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Courcelle00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Courcelle00
Bruno Courcelle:
Graph Operations and Monadic Second-Order Logic: A Survey. 20-24
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/MarionM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/MarionM00
Jean-Yves Marion, Jean-Yves Moyen:
Efficient First Order Functional Program Interpreter with Time Bound Certifications. 25-42

Session 3. Specification and automatic proof-assistants

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/GrieskampL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GrieskampL00
Wolfgang Grieskamp, Markus Lepper:
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. 43-53
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Lasota00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Lasota00
Slawomir Lasota:
Behavioural Constructor Implementation for Regular Algebras. 54-69
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HallgrenR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HallgrenR00
Thomas Hallgren, Aarne Ranta:
An Extensible Proof Text Editor. 70-84
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Delahaye00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Delahaye00
David Delahaye:
A Tactic Language for the System Coq. 85-95

Session 4. Theorem proving

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KoshimuraH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KoshimuraH00
Miyuki Koshimura, Ryuzo Hasegawa:
Proof Simplification for Model Generation and Its Applications. 96-113
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/FermullerM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/FermullerM00
Christian G. Fermüller, Georg Moser:
Have Spass with OCC1N_g⁼. 114-130

Session 5. Verification

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/JacquemardRV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/JacquemardRV00
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron:
Compiling and Verifying Security Protocols. 131-160
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/GrooteP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GrooteP00
Jan Friso Groote, Jaco van de Pol:
Equational Binary Decision Diagrams. 161-178
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Canovas-DumasC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Canovas-DumasC00
Cécile Canovas-Dumas, Paul Caspi:
A PVS Proof Obligation Generator for Lustre Programs. 179-188

Session 6. Logic programming and CLP

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BagnaraHZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BagnaraHZ00
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Efficient Structural Information Analysis for Real CLP Languages. 189-206
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/LoddoC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/LoddoC00
Jean-Vincent Loddo, Roberto Di Cosmo:
Playing Logic Programs with the Alpha-Beta Algorithm. 207-224
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/PelovMD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/PelovMD00
Nikolay Pelov, Emmanuel De Mot, Marc Denecker:
Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. 225-239

Session 7. Nonclassical logics and lambda calculus

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BaazCZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BaazCZ00
Matthias Baaz, Agata Ciabattoni, Richard Zach:
Quantified Propositional Gödel Logics. 240-256
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Groote00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Groote00
Philippe de Groote:
Proof-Search in Implicative Linear Logic as a Matching Problem. 257-274
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Spreen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Spreen00
Dieter Spreen:
A New Model Construction for the Polymorphic Lambda Calculus. 275-292
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Statman00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Statman00
Richard Statman:
Church's Lambda Delta Calculus. 293-307

Session 8. Logic and databases

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/GrecoZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GrecoZ00
Sergio Greco, Ester Zumpano:
Querying Inconsistent Databases. 308-325
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HorrocksSTT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HorrocksSTT00
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies:
How to Decide Query Containment Under Constraints Using a Description Logic. 326-343

Session 9. Program analysis

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BartheS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BartheS00
Gilles Barthe, Bernard P. Serpette:
Static Reduction Analysis for Imperative Object Oriented Languages. 344-361
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Gori00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Gori00
Roberta Gori:
An Abstract Interpretation Approach to Termination of Logic Programs. 362-380
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/AlbertHV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AlbertHV00
Elvira Albert, Michael Hanus, Germán Vidal:
Using an Abstract Representation to Specialize Functional Logic Programs. 381-398
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Vanhoof00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Vanhoof00
Wim Vanhoof:
Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury. 399-416

Section 10. Mu-calculus

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Gradel00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Gradel00
Erich Grädel:
Efficient Evaluation Methods for Guarded Logics and Datalog LITE. 417
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Talbot00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Talbot00
Jean-Marc Talbot:
On the Alternation-Free Horn Mu-calculus. 418-435

Session 11. Planning and reasoning about actions

- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HolldoblerK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HolldoblerK00
Steffen Hölldobler, Dietrich Kuske:
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. 436-450
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/LehmannL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/LehmannL00
Helko Lehmann, Michael Leuschel:
Solving Planning Problems by Partial Deduction. 451-468
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Sefranek00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Sefranek00
Ján Sefránek:
A Kripkean Semantics for Dynamic Logic Programming. 469-486

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.