DocumentCode
2037795
Title
[Title page i]
fYear
2008
fDate
24-27 June 2008
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on
Conference_Location
Pittsburgh, PA
ISSN
1043-6871
Print_ISBN
978-0-7695-3183-0
Type
conf
DOI
10.1109/LICS.2008.1
Filename
4557889
Link To Document