{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T12:13:35Z","timestamp":1648901615733},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1978,1,1]],"date-time":"1978-01-01T00:00:00Z","timestamp":252460800000},"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":[[1978]]},"DOI":"10.1007\/bf00289152","type":"journal-article","created":{"date-parts":[[2004,10,6]],"date-time":"2004-10-06T05:04:50Z","timestamp":1097039090000},"page":"127-155","source":"Crossref","is-referenced-by-count":4,"title":["\ufffdquivalente Transformationen f\ufffdr Flu\ufffddiagramme"],"prefix":"10.1007","volume":"10","author":[{"given":"V. K.","family":"Sabelfeld","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"CR1","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1016\/S0022-0000(73)80045-5","volume":"7","author":"M. Bird","year":"1973","unstructured":"Bird, M.: The equivalence problem for deterministic twotape automata. J. Comput. System Sci. 7, 2, 218?236 (1973)","journal-title":"J. Comput. System Sci."},{"key":"CR2","first-page":"181","volume":"20","author":"A.P. Ershov","year":"1968","unstructured":"Ershov, A.P.: \u00dcber die Janov-Schemata [in Russ.]. Probleme der Kybernetik 20, 181?200 (1968)","journal-title":"Probleme der Kybernetik"},{"key":"CR3","unstructured":"Ershov, A.P.: Theory of program schemata. Proc. IFIP Congress 1971, Ljubljana, 23?28 August 1971"},{"key":"CR4","unstructured":"Ershov, A.P.: Axiome f\u00fcr die Speicherverteilung [in Russ.]. Berichte der Konferenz ?Theorie der formalen Sprachen und Aufbau von Programmierungssystemen?, Kiev-Aluschta, S. 3?21 (1972)"},{"key":"CR5","first-page":"63","volume":"4","author":"A.P. Ershov","year":"1968","unstructured":"Ershov, A.P.: \u00dcber Operatorschemata mit allgemeinem und zerteiltem Speicher [in Russ.]. Kybernetik 4, 63?71 (1968)","journal-title":"Kybernetik"},{"key":"CR6","first-page":"16","volume-title":"Fragen der Entwicklung der Rechner und anderer diskreten Anlagen","author":"A.B. Godlevsky","year":"1974","unstructured":"Godlevsky, A.B.: \u00dcber einen entscheidbaren Fall des speziellen Problems der Funktional\u00e4quivalenz f\u00fcr diskrete Umwandler. In: Fragen der Entwicklung der Rechner und anderer diskreten Anlagen [in Russ.] (A.A. Letifschevsky, Hrsg.), S. 16?41. Institut f\u00fcr Kybernetik, Kiev, 1974"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1108\/eb005291","volume":"1","author":"W.E. Itkin","year":"1972","unstructured":"Itkin, W.E.: Logik-termale \u00c4quivalenz f\u00fcr Programmschemata [in Russ.]. Kybernetik 1, 5?27 (1972)","journal-title":"Kybernetik"},{"key":"CR8","first-page":"75","volume":"1","author":"Ju.I. Janov","year":"1957","unstructured":"Janov, Ju.I.: \u00dcber logische Algorithmenschemata [in Russ.]. Probleme der Kybernetik 1, 75?127 (1957)","journal-title":"Probleme der Kybernetik"},{"key":"CR9","first-page":"201","volume":"20","author":"Ju.I. Janov","year":"1968","unstructured":"Janov, Ju.I.: \u00dcber lokale Transformationen f\u00fcr Algorithmenschemata [in Russ.]. Probleme der Kybernetik 20, 201?216 (1968)","journal-title":"Probleme der Kybernetik"},{"key":"CR10","first-page":"5","volume":"3","author":"Ju.I. Janov","year":"1956","unstructured":"Janov, Ju.I., Ljapunov, A.A.: \u00dcber logische Schemata f\u00fcr Programme [in Russ.]. Berichte der Konferenz ?Die Wege der Entwicklung sowjetischer Rechner- und Me\u00dfger\u00e4teproduktion? 3, 5?8 (1956)","journal-title":"Berichte der Konferenz ?Die Wege der Entwicklung sowjetischer Rechner- und Me\u00dfger\u00e4teproduktion?"},{"issue":"3","key":"CR11","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/S0022-0000(70)80022-8","volume":"4","author":"D.C. Luckham","year":"1970","unstructured":"Luckham, D.C., Park, D.M.R., Paterson, M.S.: On formalised computer programs. J. Comput. System Sci. 4, 3, 220?249 (1970)","journal-title":"J. Comput. System Sci."},{"key":"CR12","volume-title":"Technischer Bericht","author":"W.A. Nepomnjaschy","year":"1970","unstructured":"Nepomnjaschy, W.A.: Kriterien f\u00fcr die Vollst\u00e4ndigkeit von Operationssystemen f\u00fcr Operatoralgorithmen [in Russ.]. Technischer Bericht, Rechenzentrum der Sibirischen Abteilung, Novosibirsk, 1970"},{"key":"CR13","first-page":"226","volume":"1","author":"G.N. Petrosjan","year":"1974","unstructured":"Petrosjan, G.N.: \u00dcber einen entscheidbaren Fall der Funktional\u00e4quivalenz f\u00fcr Operatorschemata [in Russ.]. Berichte der Konferenz ?Theorie der Programmierung und Systemprogrammierung? 1, 226?231 Kischinev (1974)","journal-title":"Berichte der Konferenz ?Theorie der Programmierung und Systemprogrammierung?"},{"key":"CR14","first-page":"56","volume":"5","author":"V.K. Sabelfeld","year":"1975","unstructured":"Sabelfeld, V.K.: Transformationen f\u00fcr un\u00e4re lineare Rekursionsschemata [in Russ.]. Kybernetik 5, 56?63 (1975)","journal-title":"Kybernetik"},{"key":"CR15","first-page":"94","volume-title":"Probleme der Programmierung","author":"V.K. Sabelfeld","year":"1976","unstructured":"Sabelfeld, V.K.: \u00c4quivalenztransformationen f\u00fcr Standardschemata [in Russ.]. Probleme der Programmierung, S. 94?121, Rechenzentrum der Sibirischen Abteilung, Novosibirsk, 1976"},{"key":"CR16","first-page":"52","volume":"5","author":"Men D\u00f6 Sin","year":"1976","unstructured":"Sin Men D\u00f6: Transformationen, die die logik-termale \u00c4quivalenz f\u00fcr Programmschemata erhalten [in Russ.] Kybernetik 5, 52?60 (1976)","journal-title":"Kybernetik"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Kildall, G.A.: A unified approach to global program optimisation, Conference Record of ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, October 1?3, 1973","DOI":"10.1145\/512927.512945"}],"container-title":["Acta Informatica"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289152.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289152\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T08:32:56Z","timestamp":1585902776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1978]]}},"alternative-id":["BF00289152"],"URL":"https:\/\/doi.org\/10.1007\/bf00289152","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978]]}}}