4. AMAST 1995: Montreal, Canada

Invited Lectures

Refereed Contributions

Algebraic and Logical Foundations

Concurrent and Reactive Systems

Software Technology

Logic Programming Databases

Research Prototype Reports

maintained by Schloss Dagstuhl LZI at University of Trier