11th Annual IEEE Symposium on Logic in Computer Science

Proceedings of the August 1996 symposium on [title] addressing both theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical, and topological approaches.

Subjects covered include: finite model theory, concurrency, temporal logic and