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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3222996
بازگشت