Title :
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
Abstract :
The following topics were dealt with: finite model theory; verification; logics; concurrency; category theory; theorem proving and rewriting; linear logic; game semantics; type theory; calculus and lambda calculus
Keywords :
formal logic; category theory; concurrency; finite model theory; game semantics; lambda calculus; linear logic; logics; rewriting; theorem proving; type theory; verification;
Conference_Titel :
Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on
Conference_Location :
Indianapolis, IN, USA
Print_ISBN :
0-8186-8506-9
DOI :
10.1109/LICS.1998.705556
