Abstract :
The following topics are dealt with: logic in computer science; lambda calculus; algebraic reasoning; process calculi; model checking; proof theory; computational complexity; constraints; reasoning about programs; probabilistic systems; finite model theory; automata theory; linear logic.
Keywords :
automata theory; computational complexity; formal logic; reasoning about programs; theorem proving; algebraic reasoning; automata theory; computational complexity; finite model theory; lambda calculus; linear logic; model checking; probabilistic system; process calculi; program constraints; proof theory; reasoning about program;
Conference_Titel :
Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on
Conference_Location :
Pittsburgh, PA
Print_ISBN :
978-0-7695-3183-0
DOI :
10.1109/LICS.2008.1
