DocumentCode
626260
Title
[Front-cover]
fYear
2013
fDate
25-28 June 2013
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Conference_Location
New Orleans, LA
ISSN
1043-6871
Print_ISBN
978-1-4799-0413-6
Type
conf
DOI
10.1109/LICS.2013.72
Filename
6571520
Link To Document