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."
- ISBN10 0818685069
- ISBN13 9780818685064
- Publish Date 1 August 1998
- Publish Status Active
- Publish Country US
- Imprint IEEE Computer Society Press,U.S.
- Format Paperback
- Pages 500
- Language English