Explicit Representation of Terms Defined by Counter Examples

Jean-Louis Lassez, Kim Marriott. Explicit Representation of Terms Defined by Counter Examples. In Kesav V. Nori, editor, Foundations of Software Technology and Theoretical Computer Science, Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings. Volume 241 of Lecture Notes in Computer Science, pages 96-107, Springer, 1986.

Abstract

Abstract is missing.