{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:19Z","timestamp":1725455899956},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626169"},{"type":"electronic","value":"9783540683421"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023464","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:06:33Z","timestamp":1132365993000},"page":"249-260","source":"Crossref","is-referenced-by-count":13,"title":["Undecidability results on two-variable logics"],"prefix":"10.1007","author":[{"given":"Erich","family":"Gr\u00e4del","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Otto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Rosen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, E. Gr\u00e4del and Y. Gurevich, The Classical Decision Problem, Springer, 1996.","DOI":"10.1007\/978-3-642-59207-2"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(89)90023-7","volume":"43","author":"E. Gr\u00e4del","year":"1989","unstructured":"E. Gr\u00e4del, Dominoes and the complexity of subclasses of logical theories, Annals of Pure and Applied Logic, 43 (1989), pp. 1\u201330.","journal-title":"Annals of Pure and Applied Logic"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"E. Gr\u00e4del, P. Kolaitis and M. Vardi, On the decision problem for two-variable first-order logic. To appear in: Bulletin of the ASL (1997).","DOI":"10.2307\/421196"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"E. Gr\u00e4del and M. Otto, Inductive definability with counting on finite structures, in Computer Science Logic, Selected Papers, E. B\u00f6rger et al., eds., Lecture Notes in Computer Science No. 702, Springer, 1993, pp. 231\u2013247.","DOI":"10.1007\/3-540-56992-8_15"},{"key":"21_CR5","unstructured":"E. Gr\u00e4del, M. Otto, and E. Rosen, Two-variable logic with counting is decidable. Submitted for publication."},{"key":"21_CR6","first-page":"51","volume":"24","author":"D. Harel","year":"1985","unstructured":"D. Harel, Recurring dominoes: Making the highly undecidable highly understandable, Annals of Discrete Mathematics, 24 (1985), pp. 51\u201372.","journal-title":"Annals of Discrete Mathematics"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/4904.4993","volume":"33","author":"D. Harel","year":"1986","unstructured":"-, Effective transformations on infinite trees, with applications to high undecidability, dominoes and fairness, Journal of the ACM, 33 (1986), pp. 224\u2013248.","journal-title":"Journal of the ACM"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"1153","DOI":"10.2307\/2275466","volume":"56","author":"H. Herre","year":"1991","unstructured":"H. Herre, M. Krynicki, A. Pinus, and J. V\u00e4\u00e4n\u00e4nen, The H\u00e4rtig quantifier: a survey, Journal of Symbolic Logic, 56 (1991), pp. 1153\u20131183.","journal-title":"Journal of Symbolic Logic"},{"key":"21_CR9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"M. Mortimer","year":"1975","unstructured":"M. Mortimer, On languages with two variables, Zeitschr. f. math. Logik u. Grundlagen d. Math., 21 (1975), pp. 135\u2013140.","journal-title":"Zeitschr. f. math. Logik u. Grundlagen d. Math."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"M. Otto, Bounded Variable Logics and Counting \u2014 A Study in Finite Models. Lecture Notes in Logic No. 9, Springer, 1997.","DOI":"10.1007\/978-3-662-21676-7"}],"container-title":["Lecture Notes in Computer Science","STACS 97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:31:38Z","timestamp":1586554298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626169","9783540683421"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0023464","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}