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