{"_id":"HNbGLYhqM9jMyRpuc","bibbaseid":"grohe-kreutzer-methodsforalgorithmicmetatheorems-2009","authorIDs":["oWamqdovFccHcFdCZ"],"author_short":["Grohe, M.","Kreutzer, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Grohe"],"suffixes":[]},{"firstnames":["Stephan"],"propositions":[],"lastnames":["Kreutzer"],"suffixes":[]}],"title":"Methods for Algorithmic Meta Theorems","booktitle":"Model Theoretic Methods in Finite Combinatorics - AMS-ASL Joint Special Session, Washington, DC, USA, January 5-8, 2009","pages":"181–206","year":"2009","crossref":"DBLP:conf/asl/2009s","timestamp":"Tue, 03 Nov 2020 16:34:28 +0100","biburl":"https://dblp.org/rec/conf/asl/GroheK09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/asl/GroheK09,\n author = {Martin Grohe and\n Stephan Kreutzer},\n title = {Methods for Algorithmic Meta Theorems},\n booktitle = {Model Theoretic Methods in Finite Combinatorics - {AMS-ASL} Joint\n Special Session, Washington, DC, USA, January 5-8, 2009},\n pages = {181--206},\n year = {2009},\n crossref = {DBLP:conf/asl/2009s},\n timestamp = {Tue, 03 Nov 2020 16:34:28 +0100},\n biburl = {https://dblp.org/rec/conf/asl/GroheK09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Grohe, M.","Kreutzer, S."],"key":"DBLP:conf/asl/GroheK09","id":"DBLP:conf/asl/GroheK09","bibbaseid":"grohe-kreutzer-methodsforalgorithmicmetatheorems-2009","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/g/Grohe:Martin","creationDate":"2020-10-28T05:53:13.502Z","downloads":0,"keywords":[],"search_terms":["methods","algorithmic","meta","theorems","grohe","kreutzer"],"title":"Methods for Algorithmic Meta Theorems","year":2009,"dataSources":["jS7oF7ycnJjCpQRs7"]}