%0 Conference Paper %1 conf/lics/GroheS04 %A Grohe, Martin %A Schweikardt, Nicole %B LICS %D 2004 %I IEEE Computer Society %K dblp %P 438-447 %T The Succinctness of First-Order Logic on Linear Orders. %U http://dblp.uni-trier.de/db/conf/lics/lics2004.html#GroheS04 %@ 0-7695-2192-4

@inproceedings{conf/lics/GroheS04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Grohe, Martin and Schweikardt, Nicole}, biburl = {https://www.bibsonomy.org/bibtex/2d8de5454554a47de8c89dae885060ca3/dblp}, booktitle = {LICS}, crossref = {conf/lics/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319638}, interhash = {2c51d03df403e3f78a08b280e206418f}, intrahash = {d8de5454554a47de8c89dae885060ca3}, isbn = {0-7695-2192-4}, keywords = {dblp}, pages = {438-447}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:01:20.000+0200}, title = {The Succinctness of First-Order Logic on Linear Orders.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2004.html#GroheS04}, year = 2004 }