×

zbMATH — the first resource for mathematics

Foundations of logic and functional programming. Workshop, Trento, Italy, December 15-19, 1986. Proceedings. (English) Zbl 0638.00037
Lecture Notes in Computer Science, 306. Berlin etc.: Springer-Verlag. iv, 218 p. DM 36.00 (1988).
The articles of this volume will be reviewed individually under the abbreviation “Foundations of logic and functional programming, Proc. Workshop, Trento/Italy 1986, Lect. Notes Comput. Sci. 306”.

MSC:
00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
PDF BibTeX XML Cite
Full Text: DOI