Title :
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
Abstract :
The following topics were dealt with: finite model theory; concurrency; types; temporal logic and μ-calculus; reasoning about programs; model checking; semantics and domains; lambda calculus; rewriting and unification; and complexity and decidability.
Keywords :
formal logic; /spl mu/-calculus; complexity; computer science; concurrency; decidability; domains; finite model theory; lambda calculus; model checking; programs; reasoning; rewriting; semantics; temporal logic; types; unification;
Conference_Titel :
Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
Conference_Location :
New Brunswick, NJ, USA
Print_ISBN :
0-8186-7463-6
DOI :
10.1109/LICS.1996.561297
