8. ISLP 1991:
Vijay A. Saraswat,
Kazunori Ueda (Eds.):
Proceedings of the 1991 International Symposium,
Oct. 28 - Nov 1,
1991. MIT Press 1991,
Reasoning about Programs I
Concurrency and Parallelism I
Types and Rewriting
- Bob Carpenter:
Typed Feature Structures: A Generalization of First-Order Terms.
- T. L. Lakshman, Uday S. Reddy:
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System.
Non-Classical Logics I
Non-Classical Logics II
Concurrency and Parallelism II
Reasoning about Programs II
Program Transformation and Synthesis
- Johan van Benthem:
Reasoning and Programming: Analogies between Logic and Computation.
- Koichi Furukawa:
Fifth Generation Computer Project: Towards Large-Scale Knowledge Information Processing.
Copyright © Mon Nov 2 21:13:27 2009
by Michael Ley (email@example.com)