Proceedings: The Sixth Annual IEEE Symposium on Logic in Computer Science ; July 15-18, 1991, Amsterdam, the Netherlands, Volume 6, Part 1991

Front Cover
IEEE Computer Society Press, Jan 1, 1991 - Mathematics - 417 pages
0 Reviews

From inside the book

What people are saying - Write a review

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

Related books

Contents

A Foundational Delineation of Computational Feasibility
2
Term Declaration Logic and Generalised Composita
22
Games Semantics for Linear Logic
43
Copyright

26 other sections not shown

Common terms and phrases

Bibliographic information