4. ALP 1994: Madrid, Spain

Refine list

showing all ?? records

Invited Talks (Abstracts)

Theorem Proving

Narrowing

Logic Programming I

Term Rewriting

Higher-Order Programming

Logic Programming II

a service of  Schloss Dagstuhl - Leibniz Center for Informatics