{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T19:16:42Z","timestamp":1648927002215},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1983,1]]},"DOI":"10.1007\/bf00289578","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T00:07:59Z","timestamp":1096934879000},"page":"411-430","source":"Crossref","is-referenced-by-count":3,"title":["On the complexity of some problems concerning the use of procedures. II"],"prefix":"10.1007","volume":"18","author":[{"given":"Karl","family":"Winklmann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Kandzia, P.: On the most-recent-property of ALGOL-like programs. Automata, Languages, and Programming-2nd Colloquium. Loeckx, J. (ed.) (Lecture Notes in Computer Science, vol. 14), 1974","DOI":"10.1007\/3-540-06841-4_54"},{"key":"CR2","volume-title":"A note on a paper of H. Langmaack about procedure parameter transmission. Bericht A74\/06","author":"G. Kaufholz","year":"1974","unstructured":"Kaufholz, G., Lippe, W.: A note on a paper of H. Langmaack about procedure parameter transmission. Bericht A74\/06. Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1974"},{"issue":"4.5","key":"CR3","first-page":"35","volume":"35","author":"J. Kral","year":"1973","unstructured":"Kral, J.: The equivalence of modes and the equivalence of finite automata. ALGOL Bulletin 35, 4.5, 35?36 (1973)","journal-title":"ALGOL Bulletin"},{"key":"CR4","first-page":"110","volume":"2","author":"H. Langmaack","year":"1973","unstructured":"Langmaack, H.: On correct procedure parameter transmission in higher programming languages. Acta Informat. 2, 110?142 (1973)","journal-title":"Acta Informat."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF00289503","volume":"2","author":"H. Langmaack","year":"1973","unstructured":"Langmaack, H.: On procedures as open subroutines. I. Acta Informat. 2, 311?333 (1973)","journal-title":"Acta Informat."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF00288636","volume":"3","author":"H. Langmaack","year":"1974","unstructured":"Langmaack, H.: On procedures as open subroutines. II. Acta Informat. 3, 227?241 (1974)","journal-title":"Acta Informat."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0020-0190(79)90058-9","volume":"9","author":"H. Langmaack","year":"1979","unstructured":"Langmaack, H., Lippe, W.M., Wagner, F.: The formal termination problem for programs with finite ALGOL60 modes. Informat. Proc. Lett. 9, 155?159 (1979)","journal-title":"Informat. Proc. Lett."},{"key":"CR8","series-title":"Lecture Notes in Computer Science, vol. 7","volume-title":"Entscheidbarkeitsprobleme bei der \u00dcbersetzung von Programmen mit einparametrigen Prozeduren. 3. Fachtagung \u00fcber Programmiersprachen","author":"W. Lippe","year":"1974","unstructured":"Lippe, W.: Entscheidbarkeitsprobleme bei der \u00dcbersetzung von Programmen mit einparametrigen Prozeduren. 3. Fachtagung \u00fcber Programmiersprachen. Schlender, B., Frielinghaus, W. (eds.) (Lecture Notes in Computer Science, vol. 7). Berlin-Heidelberg-New York: Springer 1974"},{"key":"CR9","volume-title":"Doctoral Dissertation","author":"W. Lippe","year":"1975","unstructured":"Lippe, W.: \u00dcber die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen. Doctoral Dissertation. Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1975"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/BF00263196","volume":"18","author":"K. Winklmann","year":"1982","unstructured":"Winklmann, K.: On the complexity of some problems concerning the use of procedures. I. Acta Informat. 18, 299?318 (1982)","journal-title":"Acta Informat."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289578.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289578\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289578","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T17:14:57Z","timestamp":1554743697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289578"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,1]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1983,1]]}},"alternative-id":["BF00289578"],"URL":"https:\/\/doi.org\/10.1007\/bf00289578","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,1]]}}}