2. CTRS 1990: Montreal, Canada

Theory of Condtional and Horn Clause Systems

Infinite Terms, Non-Terminating Systems, and Termination

Extension of Knuth-Bendix Completion

Combined Systems, Combined Languages and Modularity

Architecture, Compilers and Parallel Computation

Basic Frameworks for Typed and Order-Sorted Systems

Extension of Unification and Narrowing Techniques

Acknowledgement: the information on this page was provided by Uwe Waldmann
a service of Schloss Dagstuhl - Leibniz Center for Informatics