Foundations of Logic and Functional Programming
Foundations of Logic and Functional Programming 1986: Trento, Italy
Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi (Eds.): Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings. Springer 1988 Lecture Notes in Computer Science 306 ISBN 3-540-19129-1 [ contents ]



