The Succinctness of First-Order Logic on Linear Orders. Grohe, M. & Schweikardt, N. In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pages 438–447, 2004.
Paper doi bibtex @inproceedings{DBLP:conf/lics/GroheS04,
author = {Martin Grohe and
Nicole Schweikardt},
title = {The Succinctness of First-Order Logic on Linear Orders},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {438--447},
year = {2004},
crossref = {DBLP:conf/lics/2004},
url = {https://doi.org/10.1109/LICS.2004.1319638},
doi = {10.1109/LICS.2004.1319638},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GroheS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}