Abstract :
The following topics are dealt with: logic in computer science; game semantics; program analysis; Psi-calculi; polynomial coalgebra; program trace semantics; logical bisimilarity; graph reachability; automata theory; type system; modal mu-calculus; model checking; computational complexity; unified sequent calculus; satisfiability problem.
Keywords :
algorithm theory; automata theory; formal logic; programming theory; Psi-calculi; automata theory; computational complexity; computer science; formal logic; game semantics; graph reachability; logical bisimilarity; modal mu-calculus; model checking; polynomial coalgebra; program analysis; program trace semantics; satisfiability problem; type system; unified sequent calculus;
Conference_Titel :
Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3746-7
DOI :
10.1109/LICS.2009.53
