{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:32:08Z","timestamp":1725622328026},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540076193"},{"type":"electronic","value":"9783642663192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/978-3-642-66319-2_12","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T20:27:15Z","timestamp":1318969635000},"page":"124-134","source":"Crossref","is-referenced-by-count":3,"title":["\u00dcber die Entscheidbarkeit der Formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen"],"prefix":"10.1007","author":[{"given":"Wolfram-Manfred","family":"Lippe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Ginsburg,S.,Greibach,S.A. und Harrison,M.A.: Stack automata and compiling, J.ACM. 14,1 (Jan. 67 ), 172\u2013201","DOI":"10.1145\/321371.321385"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0019-9958(69)90065-5","volume":"14","author":"W Brainerd","year":"1969","unstructured":"Brainerd,W.: Tree generating regular systems, Information and Control 14 (1969), 217\u2013231","journal-title":"Information and Control"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1016\/S0022-0000(70)80041-1","volume":"4","author":"J Doner","year":"1979","unstructured":"Doner,J.: Tree acceptors and some of their applications, Journal of Computer and System Sciences 4 (1979), 406\u2013451","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR4","volume-title":"A note on a paper of H. Langmaack about procedure parameter transmission","author":"G Kaufholz","year":"1974","unstructured":"kaufholz,G.,Lippe,W.M.: A note on a paper of H. Langmaack about procedure parameter transmission, Bericht A 74\/06 des Fachbereichs Angewandte Mathematik und Informatik der Universit\u00e4t des Saarlandes (1974)"},{"key":"12_CR5","volume-title":"On correct procedure parameter transmission in higher programming languages","author":"H Langmaack","year":"1973","unstructured":"Langmaack,H.: On correct procedure parameter transmission in higher programming languages, Acta Informatica Vol. 2, (1973)"},{"key":"12_CR6","volume-title":"On procedures as open subroutines I","author":"H Langmaack","year":"1974","unstructured":"Langmaack,H.: On procedures as open subroutines I,II Acta Informatica Vol.2, 1973 und Vol.3,(1974)"},{"key":"12_CR7","volume-title":"Entscheidbarkeitsprobleme bei der \u00dcbersetzung von Programmen mit einparametrigen Prozeduren","author":"WM Lippe","year":"1974","unstructured":"Lippe,W.M.: Entscheidbarkeitsprobleme bei der \u00dcbersetzung von Programmen mit einparametrigen Prozeduren, Lecture Notes in Computer Scince Nr.7, Springer Verlag 1974"},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF01695769","volume":"4","author":"WC Rounds","year":"1997","unstructured":"Rounds,W.C.: Mappings and grammars on trees, Mathematical systems theorie, Vol. 4, Nr. 3, 257\u2013287","journal-title":"Mathematical systems theorie"}],"container-title":["Informatik-Fachberichte","Programmiersprachen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-66319-2_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:50:25Z","timestamp":1606254625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-66319-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540076193","9783642663192"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-66319-2_12","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1976]]}}}