{"_id":{"_str":"527a09625e011a4c4b000605"},"__v":8,"authorIDs":["545720022abc8e9f370000a8","oWamqdovFccHcFdCZ"],"author_short":["Grohe, M.","Schwentick, T."],"bibbaseid":"grohe-schwentick-localityoforderinvariantfirstorderformulas-2000","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Grohe"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Schwentick"],"suffixes":[]}],"title":"Locality of order-invariant first-order formulas","journal":"ACM Trans. Comput. Log.","volume":"1","number":"1","pages":"112–130","year":"2000","url":"https://doi.org/10.1145/343369.343386","doi":"10.1145/343369.343386","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tocl/GroheS00.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tocl/GroheS00,\n author = {Martin Grohe and\n Thomas Schwentick},\n title = {Locality of order-invariant first-order formulas},\n journal = {{ACM} Trans. Comput. Log.},\n volume = {1},\n number = {1},\n pages = {112--130},\n year = {2000},\n url = {https://doi.org/10.1145/343369.343386},\n doi = {10.1145/343369.343386},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tocl/GroheS00.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Grohe, M.","Schwentick, T."],"key":"DBLP:journals/tocl/GroheS00","id":"DBLP:journals/tocl/GroheS00","bibbaseid":"grohe-schwentick-localityoforderinvariantfirstorderformulas-2000","role":"author","urls":{"Paper":"https://doi.org/10.1145/343369.343386"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/g/Grohe:Martin","downloads":0,"keywords":[],"search_terms":["locality","order","invariant","first","order","formulas","grohe","schwentick"],"title":"Locality of order-invariant first-order formulas","year":2000,"dataSources":["jS7oF7ycnJjCpQRs7"]}