Title :
21st Annual IEEE Symposium on Logic in Computer Science - Title
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;
Conference_Titel :
Logic in Computer Science, 2006 21st Annual IEEE Symposium on
Conference_Location :
Seattle, WA
Print_ISBN :
0-7695-2631-4
DOI :
10.1109/LICS.2006.3
