2012 27th Annual IEEE Symposium on Logic in Computer Science > 11
Source
Abstract
Identifiers
book ISSN : | 1043-6871 |
book ISBN : | 978-1-4673-2263-8 |
book e-ISBN : | 978-0-7695-4769-5 |
DOI | 10.1109/LICS.2012.11 |
book ISSN : | 1043-6871 |
book ISBN : | 978-1-4673-2263-8 |
book e-ISBN : | 978-0-7695-4769-5 |
DOI | 10.1109/LICS.2012.11 |