Home » Proceedings Eleventh Annual IEEE Symposium on Logic in Computer Science by Institute of Electrical and Electronics Engineers
Proceedings Eleventh Annual IEEE Symposium on Logic in Computer Science Institute of Electrical and Electronics Engineers

Proceedings Eleventh Annual IEEE Symposium on Logic in Computer Science

Institute of Electrical and Electronics Engineers

Published January 1st 1996
ISBN : 9780818674631
Paperback
535 pages
Enter the sum

 About the Book 

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:MoreProceedings 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