DocumentCode
2144581
Title
Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science (Cat. No.91CH3025-4)
fYear
1991
fDate
15-18 July 1991
Abstract
The following topics are dealt with: computation theory; program logic and semantics; modal and temporal logics; calculus of constructions; lambda-calculus; proof systems; type theory; algebras; databases; and distributed systems
Keywords
automata theory; computational complexity; database theory; formal logic; algebras; calculus of constructions; computation theory; databases; distributed systems; lambda-calculus; modal logics; program logic; proof systems; semantics; temporal logics; type theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on
Conference_Location
Amsterdam, Netherlands
Print_ISBN
0-8186-2230-X
Type
conf
DOI
10.1109/LICS.1991.151624
Filename
151624
Link To Document