Tenth Annual IEEE Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California

Front Cover
Dexter Kozen
IEEE Computer Society Press, 1995 - Computer science - 518 pages

From inside the book

What people are saying - Write a review

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

Contents

Invited Speaker I
2
Completeness of Kozens Axiomatisation
14
Once and For All
25
Copyright

43 other sections not shown

Common terms and phrases

Bibliographic information