Icons and Local Definitions in Logic Programming

M. A. Nait Abdallah. Icons and Local Definitions in Logic Programming. In Burkhard Monien, Guy Vidal-Naquet, editors, STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings. Volume 210 of Lecture Notes in Computer Science, pages 60-72, Springer, 1986.

Abstract

Abstract is missing.