Model-Checking Problems as a Basis for Parameterized Intractability. Flum, J. & Grohe, M. In 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pages 388–397, 2004. Paper doi bibtex @inproceedings{DBLP:conf/lics/FlumG04,
author = {J{\"{o}}rg Flum and
Martin Grohe},
title = {Model-Checking Problems as a Basis for Parameterized Intractability},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {388--397},
year = {2004},
crossref = {DBLP:conf/lics/2004},
url = {https://doi.org/10.1109/LICS.2004.1319633},
doi = {10.1109/LICS.2004.1319633},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/FlumG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":{"_str":"527a09625e011a4c4b0005ad"},"__v":8,"authorIDs":["545720022abc8e9f370000a8","oWamqdovFccHcFdCZ"],"author_short":["Flum, J.","Grohe, M."],"bibbaseid":"flum-grohe-modelcheckingproblemsasabasisforparameterizedintractability-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jörg"],"propositions":[],"lastnames":["Flum"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Grohe"],"suffixes":[]}],"title":"Model-Checking Problems as a Basis for Parameterized Intractability","booktitle":"19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings","pages":"388–397","year":"2004","crossref":"DBLP:conf/lics/2004","url":"https://doi.org/10.1109/LICS.2004.1319633","doi":"10.1109/LICS.2004.1319633","timestamp":"Wed, 16 Oct 2019 14:14:54 +0200","biburl":"https://dblp.org/rec/conf/lics/FlumG04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lics/FlumG04,\n author = {J{\\\"{o}}rg Flum and\n Martin Grohe},\n title = {Model-Checking Problems as a Basis for Parameterized Intractability},\n booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),\n 14-17 July 2004, Turku, Finland, Proceedings},\n pages = {388--397},\n year = {2004},\n crossref = {DBLP:conf/lics/2004},\n url = {https://doi.org/10.1109/LICS.2004.1319633},\n doi = {10.1109/LICS.2004.1319633},\n timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},\n biburl = {https://dblp.org/rec/conf/lics/FlumG04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Flum, J.","Grohe, M."],"key":"DBLP:conf/lics/FlumG04","id":"DBLP:conf/lics/FlumG04","bibbaseid":"flum-grohe-modelcheckingproblemsasabasisforparameterizedintractability-2004","role":"author","urls":{"Paper":"https://doi.org/10.1109/LICS.2004.1319633"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/g/Grohe:Martin","downloads":0,"keywords":[],"search_terms":["model","checking","problems","basis","parameterized","intractability","flum","grohe"],"title":"Model-Checking Problems as a Basis for Parameterized Intractability","year":2004,"dataSources":["jS7oF7ycnJjCpQRs7"]}