7th LPAR 2000: Reunion Island, France

Refine list

showing all ?? records

Session 1. Nonmononic reasoning

Session 2. Descriptive complexity

Session 3. Specification and automatic proof-assistants

Session 4. Theorem proving

Session 5. Verification

Session 6. Logic programming and CLP

Session 7. Nonclassical logics and lambda calculus

Session 8. Logic and databases

Session 9. Program analysis

Section 10. Mu-calculus

Session 11. Planning and reasoning about actions

a service of  Schloss Dagstuhl - Leibniz Center for Informatics