DocumentCode
1823240
Title
Proceedings of 8th Annual IEEE Symposium on Logic in Computer Science
fYear
1993
fDate
19-23 June 1993
Abstract
The following topics were dealt with: types; deduction; semantics; modal and temporal logics; finite-model theory; logic programming; lambda calculus; complexity and databases; rewriting; and concurrency
Keywords
computational complexity; computer science; database theory; formal logic; inference mechanisms; logic programming; multiprocessing programs; rewriting systems; type theory; complexity; computer science; concurrency; databases; deduction; finite-model theory; lambda calculus; logic programming; modal logic; rewriting; semantics; temporal logics; types;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on
Conference_Location
Montreal, Quebec, Canada
Print_ISBN
0-8186-3140-6
Type
conf
DOI
10.1109/LICS.1993.287606
Filename
287606
Link To Document