doi — 10.1109/LI

1 paper found with doi equals to 10.1109/LICS.2013.16. 
  1. @inproceedings{KRRC13,
 author = {Kreutzer, Stephan and Riveros, Cristian},
 booktitle = {2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science},
 doi = {10.1109/LICS.2013.16},
 pages = {113-122},
 sha256 = {37568664428FFFA4A3480AEF379A0046FB1A05AC217468E8A00E50EB348F47BC},
 title = {Quantitative Monadic Second-Order Logic},
 year = {2013}
}