Liknande böcker

CONCUR '90: Theories of Concurrency: Unification and Extension
Bok av J C M Baeten
Logic Programming in Action : Second International Logic Programming Sum...
Bok av Gerard Comyn
Static Analysis : Second International Symposium, SAS '95, Glasgow, UK,...
Bok av Alan Mycroft
Static Analysis : First International Static Analysis Symposium, SAS '94...
Bok av Baudoin Lecharlier
Extensions of Logic Programming : Third International Workshop, ELP '92,...
Bok av Evelina Lamma
Algebraic and Logic Programming
Bok av W. Wechler
Extensions of logic programming
Bok av Roy Dyckhoff
Logic programming and automated reasoning : proceedings
Bok av Andrei Voronkov

Foundations of Logic and Functional Programming : Workshop, Trento, Italy, December 15-19, 1986. Proceedings

Bok av Mauro Boscarol
This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.