DocumentCode
2719088
Title
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
fYear
1996
fDate
27-30 July 1996
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
Conference_Location
New Brunswick, NJ, USA
ISSN
1043-6871
Print_ISBN
0-8186-7463-6
Type
conf
DOI
10.1109/LICS.1996.561297
Filename
561297
Link To Document