Unified Domains and Abstract Computational Structures

Jacques Calmet, Karsten Homann, Indra A. Tjandra. Unified Domains and Abstract Computational Structures. In Jacques Calmet, John A. Campbell, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings. Volume 737 of Lecture Notes in Computer Science, pages 166-177, Springer, 1992.

Abstract

Abstract is missing.