DocumentCode
3222996
Title
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
fYear
2001
fDate
16-19 June 2001
Abstract
The following topics were dealt with: formal logic in computer science; calculus of constructions; complexity; decidability; automata theory; lambda calculus; type theory; mu calculus; temporal logic; first order modal logic; and rewriting
Keywords
automata theory; computational complexity; formal logic; type theory; automata theory; calculus of constructions; complexity; computer science; decidability; first order modal logic; formal logic; lambda calculus; mu calculus; rewriting; temporal logic; type theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 2001. Proceedings. 16th Annual IEEE Symposium on
Conference_Location
Boston, MA, USA
ISSN
1043-6871
Print_ISBN
0-7695-1281-X
Type
conf
DOI
10.1109/LICS.2001.932476
Filename
932476
Link To Document