Abstract :
The following topics are dealt with: automata; probabilistic computation; type theory; proof theory; linear logic; decidability; constraint satisfaction and Halpern-Shoham logic.
Keywords :
automata theory; constraint theory; decidability; probability; theorem proving; type theory; Halpern-Shoham logic; automata; constraint satisfaction; decidability; linear logic; probabilistic computation; proof theory; type theory;
Conference_Titel :
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on
Conference_Location :
Toronto, ON
Print_ISBN :
978-1-4577-0451-2
DOI :
10.1109/LICS.2011.1
