Logic in Computer Science (LICS '98

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.

Gespeichert in:
Körperschaft:
IEEE Computer Society Staff
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] I E E E Imprint 1998
Zusammenfassung:
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.
Umfang:
1 online resource (xv, 538 pages) : illustrations
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Bibliografie:
Includes bibliographical references.
Schlagworte:
Computer science > Mathematics > Congresses.
Logic, Symbolic and mathematical > Congresses.
Bezugswerke: