DocumentCode
626263
Title
Table of contents
fYear
2013
fDate
25-28 June 2013
Abstract
Presents the table of contents of the proceedings record.
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Conference_Location
New Orleans, LA, USA
ISSN
1043-6871
Print_ISBN
978-1-4799-0413-6
Type
conf
DOI
10.1109/LICS.2013.4
Filename
6571524
Link To Document