dblp.uni-trier.de www.uni-trier.de

2. CTRS 1990: Montreal, Canada

Stéphane Kaplan, Mitsuhiro Okada (Eds.): Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings. Lecture Notes in Computer Science 516 Springer 1991, ISBN 3-540-54317-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/ctrs/1990,
  editor    = {St{\'e}phane Kaplan and
               Mitsuhiro Okada},
  title     = {Conditional and Typed Rewriting Systems, 2nd International CTRS
               Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
  booktitle = {CTRS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {516},
  year      = {1991},
  isbn      = {3-540-54317-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

Copyright © Mon Nov 2 20:27:38 2009 by Michael Ley (ley@uni-trier.de)