Logics of Programs Workshop, Yorktown Heights, New York, May 1981

Front Cover
Springer, 1982 - Computers - 429 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Technical and Position Papers
1
J Bergstra and J V Tucker
24
Robert Cartwrlght
37
Copyright

12 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information