Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science (Cat. No.92CH3127-8)

摘要

The following topics are dealt with: lambda and related calculi; computation theory; logic; logic programming; programming theory; concurrent computation; and programming language theory. Abstracts of individual papers can be found under the relevant classification codes in this or other issues.