DocumentCode
3256972
Title
[Front cover]
fYear
2009
fDate
11-14 Aug. 2009
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on
Conference_Location
Los Angeles, CA
ISSN
1043-6871
Print_ISBN
978-0-7695-3746-7
Type
conf
DOI
10.1109/LICS.2009.53
Filename
5230550
Link To Document