Title :
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Abstract :
The following topics are dealt with: formal logic; model checking; process algebra; automata theory; game theory; quantum theory; theorem proving and computational complexity.
Keywords :
automata theory; computational complexity; formal logic; formal verification; game theory; quantum theory; theorem proving; automata theory; computational complexity; formal logic; game theory; model checking; process algebra; theorem proving;
Conference_Titel :
Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on
Conference_Location :
Turku, Finland
Print_ISBN :
0-7695-2192-4
DOI :
10.1109/LICS.2004.1319588
