{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:50Z","timestamp":1725662930070},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108566"},{"type":"electronic","value":"9783540387695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_126","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:34:27Z","timestamp":1330191267000},"page":"578-589","source":"Crossref","is-referenced-by-count":2,"title":["Two pebbles don't suffice"],"prefix":"10.1007","author":[{"given":"Lothar","family":"Budach","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"57_CR1","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1002\/mana.19780860120","volume":"86","author":"L. Budach","year":"1978","unstructured":"Budach, L., Automata and labyrinths. Math. Nachr. 86\/1978\/195\u2013282.","journal-title":"Math. Nachr."},{"key":"57_CR2","first-page":"661","volume":"11","author":"L. Budach","year":"1975","unstructured":"Budach, L., On the solution of the labyrinth problem for finite automata. EIK 11\/1975\/, 661\u2013672.","journal-title":"EIK"},{"key":"57_CR3","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-08442-8_70","volume":"56","author":"L. Budach","year":"1977","unstructured":"Budach, L., Environments, labyrinths and automata. Lecture notes in Computer Science 56\/1977\/, 54\u201364.","journal-title":"Lecture notes in Computer Science"},{"key":"57_CR4","unstructured":"Budach, L. and Meinel, Ch., Umwelten und Automaten in Umwelten. Seminarberichte der Sektion Mathematik der Humboldt Universit\u00e4t 23\/1980."},{"key":"57_CR5","unstructured":"Budach, L. and Meinel, Ch., Environments and automata. EIK, in print"},{"key":"57_CR6","unstructured":"Budach, L. and Waack, S., On the halting problem for automata in cones. EIK, in print"},{"key":"57_CR7","volume-title":"Automata, languages and machines. Vol. A, B","author":"S. Eilenberg","year":"1974","unstructured":"Eilenberg, S., Automata, languages and machines. Vol. A, B. Academic Press, New York, 1974"},{"key":"57_CR8","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0022-0000(70)80006-X","volume":"4","author":"W. Savitch","year":"1970","unstructured":"Savitch, W., Relations between nondeterministic and deterministic tape complexities. Journal of Computer and System Science 4\/1970\/177\u2013192.","journal-title":"Journal of Computer and System Science"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10856-4_126.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:40:01Z","timestamp":1619556001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_126","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}