The complexity of first-order and monadic second-order logic revisited. Frick, M. & Grohe, M. Ann. Pure Appl. Log., 130(1-3):3–31, 2004. Paper doi bibtex @article{DBLP:journals/apal/FrickG04,
author = {Markus Frick and
Martin Grohe},
title = {The complexity of first-order and monadic second-order logic revisited},
journal = {Ann. Pure Appl. Log.},
volume = {130},
number = {1-3},
pages = {3--31},
year = {2004},
url = {https://doi.org/10.1016/j.apal.2004.01.007},
doi = {10.1016/j.apal.2004.01.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FrickG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":{"_str":"527a09625e011a4c4b0005fe"},"__v":8,"authorIDs":["545720022abc8e9f370000a8","oWamqdovFccHcFdCZ"],"author_short":["Frick, M.","Grohe, M."],"bibbaseid":"frick-grohe-thecomplexityoffirstorderandmonadicsecondorderlogicrevisited-2004","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Markus"],"propositions":[],"lastnames":["Frick"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Grohe"],"suffixes":[]}],"title":"The complexity of first-order and monadic second-order logic revisited","journal":"Ann. Pure Appl. Log.","volume":"130","number":"1-3","pages":"3–31","year":"2004","url":"https://doi.org/10.1016/j.apal.2004.01.007","doi":"10.1016/j.apal.2004.01.007","timestamp":"Fri, 21 Feb 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/apal/FrickG04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/apal/FrickG04,\n author = {Markus Frick and\n Martin Grohe},\n title = {The complexity of first-order and monadic second-order logic revisited},\n journal = {Ann. Pure Appl. Log.},\n volume = {130},\n number = {1-3},\n pages = {3--31},\n year = {2004},\n url = {https://doi.org/10.1016/j.apal.2004.01.007},\n doi = {10.1016/j.apal.2004.01.007},\n timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/apal/FrickG04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Frick, M.","Grohe, M."],"key":"DBLP:journals/apal/FrickG04","id":"DBLP:journals/apal/FrickG04","bibbaseid":"frick-grohe-thecomplexityoffirstorderandmonadicsecondorderlogicrevisited-2004","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.apal.2004.01.007"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/g/Grohe:Martin","downloads":0,"keywords":[],"search_terms":["complexity","first","order","monadic","second","order","logic","revisited","frick","grohe"],"title":"The complexity of first-order and monadic second-order logic revisited","year":2004,"dataSources":["jS7oF7ycnJjCpQRs7"]}