DocumentCode
2509864
Title
21st Annual IEEE Symposium on Logic in Computer Science - Title
fYear
0
fDate
0-0 0
Abstract
The following topics are dealt with: complexity and decidability; concurrency; pushdown systems; logics of programs; proof theory; model theory; temporal logics and automata; lambda calculus; timed and stochastic systems; formal verification; approximation scheme
Keywords
automata theory; computational complexity; formal logic; formal verification; automata theory; computational complexity; decidability; formal verification; lambda calculus; model theory; proof theory; pushdown systems; stochastic systems; temporal logics; timed systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 2006 21st Annual IEEE Symposium on
Conference_Location
Seattle, WA
ISSN
1043-6871
Print_ISBN
0-7695-2631-4
Type
conf
DOI
10.1109/LICS.2006.3
Filename
1691204
Link To Document