{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:14:22Z","timestamp":1725459262992},"publisher-location":"Berlin\/Heidelberg","reference-count":4,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354006527X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039162","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T09:19:46Z","timestamp":1138180786000},"page":"254-262","source":"Crossref","is-referenced-by-count":0,"title":["\u00dcber eine Hierarchie von Push-Down-Entscheidbaren Mengen"],"prefix":"10.1007","author":[{"given":"V.","family":"Penner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-642-80732-9_11","volume":"78","author":"K. Indermark","year":"1973","unstructured":"Indermark, K. Programmschemata mit booleschen Unterprogrammen. Lecture Notes in Ec. and Math. Syst., 78 (1973), pp. 107\u2013115","journal-title":"Lecture Notes in Ec. and Math. Syst."},{"key":"30_CR2","unstructured":"Penner, V. Entscheidbarkeit und Akzeptierbarkeit auf Push-Down-Store-Maschinen. Schriften aus dem Gebiet der Angew. Math., 1 (1972), Aachen"},{"key":"30_CR3","unstructured":"Penner, V. Push-Down-Store-berechenbare Funktionen, Schriften zur Informatik und Angew. Math., 5 (1973), Aachen"},{"key":"30_CR4","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0022-0000(67)80014-X","volume":"1","author":"D. Scott","year":"1967","unstructured":"Scott, D. Some definitional suggestions for automata theory. Journal of Comp. and Syst. Sc. 1 (1967), pp. 187\u2013212","journal-title":"Journal of Comp. and Syst. Sc."}],"container-title":["Lecture Notes in Computer Science","GI Gesellschaft f\u00fcr Informatik e. V. 1. Fachtagung \u00fcber Automatentheorie und Formale Sprachen"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039162.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:24:46Z","timestamp":1607534686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039162"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354006527X"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/bfb0039162","relation":{},"subject":[]}}