Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science

摘要

The following topics were dealt with: program logics; finite models; model checking and verification; theorem proving and artificial intelligence; concurrency; semantics; lambda-calculus and types; unification and rewriting; and linear logic.