DocumentCode
1996925
Title
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science
fYear
1994
fDate
4-7 July 1994
Abstract
The following topics were dealt with: finite model theory; concurrency; semantics; domain theory; constraints; model logic; temporal logic; type theory; construction mathematics; complexity and databases; logic programming; linear logic; category theory; rewriting; lambda calculus; AI; and automated deduction
Keywords
computational complexity; database theory; formal logic; lambda calculus; logic programming; rewriting systems; temporal logic; type theory; AI; automated deduction; category theory; complexity; concurrency; constraints; construction mathematics; databases; domain theory; finite model theory; lambda calculus; linear logic; logic programming; model logic; rewriting; semantics; temporal logic; type theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on
Conference_Location
Paris, France
Print_ISBN
0-8186-6310-3
Type
conf
DOI
10.1109/LICS.1994.316093
Filename
316093
Link To Document