LICS '98 (13th) (Logic in Computer Science: Symposium Proceedings) - Softcover

IEEE Computer Society

 
9780818685064: LICS '98 (13th) (Logic in Computer Science: Symposium Proceedings)
Softcover
ISBN 10: 0818685069 ISBN 13: 9780818685064
Publisher: IEEE Computer Society Press,U.S., 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 Press,U.S.
Publication date
1998
Language
English
ISBN 10 
0818685069
ISBN 13 
9780818685064
Binding
Paperback
Number of pages
500