{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T00:37:52Z","timestamp":1783643872966,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540230717","type":"print"},{"value":"9783540286394","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-28639-4_5","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T20:25:35Z","timestamp":1285014335000},"page":"49-60","source":"Crossref","is-referenced-by-count":3,"title":["Bounded Fixed-Parameter Tractability: The Case 2poly( k)"],"prefix":"10.1007","author":[{"given":"Mark","family":"Weyer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Flum, J., Grohe, M., Weyer, M.: Bounded fixed-parameter tractability and log2n nondeterministic bits. Technical Report 04, Fakult\u00e4t f\u00fcr Mathematik und Physik, Eckerstra\u00dfe 1, 79104 Freiburg, Germany (2004)","DOI":"10.1007\/978-3-540-27836-8_48"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Frick, M., Grohe, M.: The complexity of first-order and monadic second-order logic revisited (2003) (preprint)","DOI":"10.1016\/j.apal.2004.01.007"},{"key":"5_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0515-9","volume-title":"Parameterized complexity","author":"R. Downey","year":"1999","unstructured":"Downey, R., Fellows, M.: Parameterized complexity. Springer, New York (1999)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Flum, J., Grohe, M.: Model-checking problems as a basis for parameterized intractability. Technical Report 23, Fakult\u00e4t f\u00fcr Mathematik und Physik, Eckerstra\u00dfe 1, 79104 Freiburg, Germany (2003)","DOI":"10.2168\/LMCS-1(1:2)2005"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-45220-1_12","volume-title":"Computer Science Logic","author":"Y. Chen","year":"2003","unstructured":"Chen, Y., Flum, J.: Machine characterizations of classes of the W-hierarchy. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 114\u2013127. Springer, Heidelberg (2003)"},{"key":"5_CR6","unstructured":"Thomas, W.: Languages, automata, and logic. Technical Report 9607, Institut f\u00fcr Informatik und Praktische Mathematik, Christian-Albrechts-Universit\u00e4t Kiel, Germany (1996)"},{"key":"5_CR7","unstructured":"Weyer, M.: Dissertation (in preparation)"}],"container-title":["Lecture Notes in Computer Science","Parameterized and Exact Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28639-4_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T08:20:43Z","timestamp":1636532443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28639-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230717","9783540286394"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28639-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}