@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}
}

{"_id":{"_str":"527a09625e011a4c4b0005cb"},"__v":8,"authorIDs":["545720022abc8e9f370000a8","oWamqdovFccHcFdCZ"],"author_short":["Grohe, M.","Schweikardt, N."],"bibbaseid":"grohe-schweikardt-thesuccinctnessoffirstorderlogiconlinearorders-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Grohe"],"suffixes":[]},{"firstnames":["Nicole"],"propositions":[],"lastnames":["Schweikardt"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/lics/GroheS04,\n author = {Martin Grohe and\n Nicole Schweikardt},\n title = {The Succinctness of First-Order Logic on Linear Orders},\n booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),\n 14-17 July 2004, Turku, Finland, Proceedings},\n pages = {438--447},\n year = {2004},\n crossref = {DBLP:conf/lics/2004},\n url = {https://doi.org/10.1109/LICS.2004.1319638},\n doi = {10.1109/LICS.2004.1319638},\n timestamp = {Thu, 25 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/lics/GroheS04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Grohe, M.","Schweikardt, N."],"key":"DBLP:conf/lics/GroheS04","id":"DBLP:conf/lics/GroheS04","bibbaseid":"grohe-schweikardt-thesuccinctnessoffirstorderlogiconlinearorders-2004","role":"author","urls":{"Paper":"https://doi.org/10.1109/LICS.2004.1319638"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/g/Grohe:Martin","downloads":0,"keywords":[],"search_terms":["succinctness","first","order","logic","linear","orders","grohe","schweikardt"],"title":"The Succinctness of First-Order Logic on Linear Orders","year":2004,"dataSources":["jS7oF7ycnJjCpQRs7"]}