A Semantical Model for Integration and Modularization of Rules

Peter van Emde Boas. A Semantical Model for Integration and Modularization of Rules. In Jozef Gruska, Branislav Rovan, Juraj Wiedermann, editors, Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings. Volume 233 of Lecture Notes in Computer Science, pages 78-92, Springer, 1986.

Abstract

Abstract is missing.