1 option
Logic in Computer Science (LICS '98
- Format:
- Book
- Author/Creator:
- IEEE Computer Society Staff, author, issuing body.
- Language:
- English
- Subjects (All):
- Computer science--Mathematics--Congresses.
- Computer science.
- Logic, Symbolic and mathematical--Congresses.
- Logic, Symbolic and mathematical.
- Physical Description:
- 1 online resource (xv, 538 pages) : illustrations
- Place of Publication:
- [Place of publication not identified] I E E E Imprint 1998
- Language Note:
- English
- Summary:
- 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.
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- Includes bibliographical references.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.