Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey
Author(s)
Bibliographic Information
Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey
IEEE Computer Society Press, c1996
- : [pbk.]
- Other Title
-
LICS'96
Eleventh Annual IEEE Symposium on Logic in Computer Science
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
Description
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
by "Nielsen BookData"