{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T18:43:35Z","timestamp":1648838615241},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,3,27]],"date-time":"2007-03-27T00:00:00Z","timestamp":1174953600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1007\/s10849-007-9040-7","type":"journal-article","created":{"date-parts":[[2007,3,26]],"date-time":"2007-03-26T05:22:13Z","timestamp":1174886533000},"page":"233-236","source":"Crossref","is-referenced-by-count":0,"title":["Book Review"],"prefix":"10.1007","volume":"17","author":[{"given":"Hans-J\u00f6rg","family":"Tiede","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,3,27]]},"reference":[{"key":"9040_CR1","unstructured":"Barwise, J., & Etchemendy, J. (1995). Turing\u2019s World 3.0. Stanford, CA: Center for the study of Language and Information Publications."},{"key":"9040_CR2","unstructured":"Hopcroft, J. E., & Ullman, J. D. (1979). Introduction to automata theory, languages, and computation. Reading, MA: Addison-Wesley Publishing Co.."},{"key":"9040_CR3","unstructured":"Hopcroft, J. E., & Ullman, J. D. (2007). Introduction to automata theory, languages, and computation. Boston, MA: Pearson\/Addison Wesley."},{"key":"9040_CR4","doi-asserted-by":"crossref","unstructured":"Khoussainov, B., & Nerode, A. (2001). Automata theory and its applications. Boston, MA: Birkh\u00e4user Boston Inc.","DOI":"10.1007\/978-1-4612-0171-7"},{"key":"9040_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1844-9","volume-title":"Automata and computability","author":"D.C. Kozen","year":"1997","unstructured":"Kozen D.C. (1997). Automata and computability. New York, Springer"},{"key":"9040_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03809-3","volume-title":"Introduction to formal hardware verification","author":"T. Kropf","year":"1999","unstructured":"Kropf T. (1999). Introduction to formal hardware verification. Berlin, Springer"},{"key":"9040_CR7","volume-title":"Handbook of modal logic","author":"L.S. Moss","year":"2006","unstructured":"Moss L.S., Tiede H.-J. (2006). Applications of modal logic in linguistics. In: Blackburn P., van Benthem J., Wolter F(eds) Handbook of modal logic. Amsterdam, Elsevier"},{"key":"9040_CR8","volume-title":"A descriptive approach to language-theoretic complexity","author":"J. Rogers","year":"1998","unstructured":"Rogers J. (1998). A descriptive approach to language-theoretic complexity. Stanford, CA: CSLI Publications"},{"issue":"4","key":"9040_CR9","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/MAHC.1984.10040","volume":"6","author":"J.B. Rosser","year":"1984","unstructured":"Rosser J.B. (1984). Highlights of the history of the lambda-calculus. Annals of the History of Computing 6(4): 337\u2013349","journal-title":"Annals of the History of Computing"},{"key":"9040_CR10","volume-title":"Introduction to the theory of computation","author":"M. Sipser","year":"2006","unstructured":"Sipser M. (2006). Introduction to the theory of computation (2nd ed). Boston, MA: Thomson Course Technology.","edition":"2"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-007-9040-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-007-9040-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-007-9040-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:31:01Z","timestamp":1559255461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-007-9040-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,27]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["9040"],"URL":"https:\/\/doi.org\/10.1007\/s10849-007-9040-7","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3,27]]}}}