DocumentCode
1948946
Title
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
fYear
1998
fDate
24-24 June 1998
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1998. Proceedings. Thirteenth Annual IEEE Symposium on
Conference_Location
Indianapolis, IN, USA
ISSN
1043-6871
Print_ISBN
0-8186-8506-9
Type
conf
DOI
10.1109/LICS.1998.705556
Filename
705556
Link To Document