Title :
Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science (Cat. No.91CH3025-4)
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;
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
DOI :
10.1109/LICS.1991.151624
