Well Founded Semantics and Stable Semantics of Semi-Strict Programs

Françoise Gire. Well Founded Semantics and Stable Semantics of Semi-Strict Programs. In Joachim Biskup, Richard Hull, editors, Database Theory - ICDT 92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings. Volume 646 of Lecture Notes in Computer Science, pages 261-275, Springer, 1992. [doi]

Abstract

Abstract is missing.