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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1996925
بازگشت