Thirteenth Annual IEEE Symposium on Logic in Computer Science: Proceedings June 21-24, 1998, Indianapolis, Indiana - Softcover

Institute Of Electrical And Electronics Engineers

 
9780818685064: Thirteenth Annual IEEE Symposium on Logic in Computer Science: Proceedings June 21-24, 1998, Indianapolis, Indiana
Softcover
ISBN 10: 0818685069 ISBN 13: 9780818685064
Publisher: IEEE Computer Society, 1998

Synopsis

This text covers the 13th Symposium on Logic in Computer Science held in 1998. The symposium covered topics in computational mathemetics and complexity theory. Contents include: finite model theory; verification; logics; concurrency; category theory; and theorem proving and rewriting."

"synopsis" may belong to another edition of this title.

Publisher
IEEE Computer Society
Publication date
1998
Language
English
ISBN 10 
0818685069
ISBN 13 
9780818685064
Binding
Paperback
Number of pages
500