DocumentCode
3093602
Title
Table of contents
fYear
2012
fDate
25-28 June 2012
Abstract
The following topics are dealt with: logic; computer science; automata; and game.
Keywords
automata theory; computer science; formal logic; game theory; automata; computer science; game; logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on
Conference_Location
Dubrovnik
ISSN
1043-6871
Print_ISBN
978-1-4673-2263-8
Type
conf
DOI
10.1109/LICS.2012.4
Filename
6280490
Link To Document