DocumentCode
2050652
Title
[Title page iii]
fYear
2010
fDate
11-14 July 2010
Abstract
Conference proceedings title page.
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on
Conference_Location
Edinburgh
ISSN
1043-6871
Print_ISBN
978-1-4244-7588-9
Type
conf
DOI
10.1109/LICS.2010.2
Filename
5571082
Link To Document