{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T06:19:43Z","timestamp":1738217983838,"version":"3.34.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540797227"},{"type":"electronic","value":"9783540797234"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-79723-4_3","type":"book-chapter","created":{"date-parts":[[2008,5,6]],"date-time":"2008-05-06T10:22:17Z","timestamp":1210069337000},"page":"10-12","source":"Crossref","is-referenced-by-count":6,"title":["Algorithmic Meta-theorems"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Kreutzer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"194","volume-title":"Handbook of Theoretical Computer Science","author":"B. Courcelle","year":"1990","unstructured":"Courcelle, B.: Graph rewriting: An algebraic and logic approach. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 194\u2013242. Elsevier, Amsterdam (1990)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s002249910009","volume":"33","author":"B. Courcelle","year":"2000","unstructured":"Courcelle, B., Makowsky, J., Rotics, U.: Linear time solvable optimization problems on graphs of bounded clique-width. Theory Comput. Systems\u00a033, 125\u2013150 (2000)","journal-title":"Theory Comput. Systems"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Dawar, A., Grohe, M., Kreutzer, S.: Locally excluding a minor. In: Proc. of the 22nd IEEE Symp. on Logic in Computer Science, pp. 270\u2013279 (2007)","DOI":"10.1109\/LICS.2007.31"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Dawar, A., Grohe, M., Kreutzer, S., Schweikardt, S.: Approximation schemes for first-order definable optimisation problems. In: Proc. of the 21st IEEE Symp. on Logic in Computer Science, pp. 411\u2013420 (2006)","DOI":"10.1109\/LICS.2006.13"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Demaine, E., Hajiaghayi, M., Kawarabayashi, K.: Algorithmic graph minor theory: Decomposition, approximation, and coloring. In: Symposium on Foundations of Computer Science (FOCS), pp. 637\u2013646 (2005)","DOI":"10.1109\/SFCS.2005.14"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1137\/S0097539799360768","volume":"31","author":"J. Flum","year":"2001","unstructured":"Flum, J., Grohe, M.: Fixed-parameter tractability, definability, and model checking. SIAM Journal on Computing\u00a031, 113\u2013145 (2001)","journal-title":"SIAM Journal on Computing"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"1184","DOI":"10.1145\/504794.504798","volume":"48","author":"M. Frick","year":"2001","unstructured":"Frick, M., Grohe, M.: Deciding first-order properties of locally tree-decomposable structures. Journal of the ACM\u00a048, 1184\u20131206 (2001)","journal-title":"Journal of the ACM"},{"key":"3_CR8","unstructured":"Grohe, M.: Logic, graphs, and algorithms. In: Wilke, T., Flum, J., Gr\u00e4del, E. (eds.) Logic and Automata History and Perspectives, Amsterdam University Press (2007)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Khanna, S., Motwani, R.: Towards a syntactic characterization of PTAS. In: Proc. of STOC 1996, pp. 329\u2013337 (1996)","DOI":"10.1145\/237814.237979"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1006\/inco.1994.1100","volume":"115","author":"P..G. Kolaitis","year":"1994","unstructured":"Kolaitis, P.G., Thakur, M.N.: Logical definability of NP optimization problems. Information and Computation\u00a0115(2), 321\u2013353 (1994)","journal-title":"Information and Computation"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1006\/jcss.1995.1031","volume":"50","author":"P..G. Kolaitis","year":"1995","unstructured":"Kolaitis, P.G., Thakur, M.N.: Approximation properties of NP minimization classes. Journal of Computer and System Sciences\u00a050, 391\u2013411 (1995)","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR12","unstructured":"Kreutzer, S.: Finite model-theory of tree-like structures, http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/stephan.kreutzer\/publications.html"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0022-0000(91)90023-X","volume":"43","author":"C.H. Papadimitriou","year":"1991","unstructured":"Papadimitriou, C.H., Yannakakis, M.: Optimization, approximation, and complexity classes. Journal of Computer and System Sciences\u00a043, 425\u2013440 (1991)","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1017\/S0960129500070079","volume":"2","author":"D. Seese","year":"1996","unstructured":"Seese, D.: Linear time computable problems and first-order descriptions. Mathematical Structures in Computer Science\u00a02, 505\u2013526 (1996)","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Parameterized and Exact Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79723-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T02:39:06Z","timestamp":1738204746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79723-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540797227","9783540797234"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79723-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}