Abstract :
The following topics are dealt with: vector addition systems; finite model theory; complexity theory and quantum computation; quantitative approach; model checking; complexity and computability; type theory and applications; multi-agent systems and programming languages; lambda calculus; the probabilistic setting; temporal logic; process calculus and recursion theory; modal logic and proof theory; logic, automata, and transducers; automata theory; algebraic approach; databases; and networks and applications.
Keywords :
automata theory; computational complexity; computer science; database management systems; formal logic; multi-agent systems; programming languages; quantum computing; theorem proving; type theory; automata theory; complexity theory; computability; computer science; databases; finite model theory; lambda calculus; modal logic; model checking; multiagent system; networks; probabilistic setting; process calculus; programming languages; proof theory; quantum computation; recursion theory; temporal logic; transducers; type theory; vector addition system;
Conference_Titel :
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Conference_Location :
New Orleans, LA
Print_ISBN :
978-1-4799-0413-6
DOI :
10.1109/LICS.2013.72
