Conniver Programs by Logical Point of View

Giuseppina C. Gini, Maria L. Gini. Conniver Programs by Logical Point of View. In Jirí Becvár, editor, Mathematical Foundations of Computer Science 1975, 4th Symposium, Mariánské Lázne, Czechoslovakia, September 1-5, 1975, Proceedings. Volume 32 of Lecture Notes in Computer Science, pages 238-245, Springer, 1975.

Abstract

Abstract is missing.