{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T13:15:30Z","timestamp":1648818930134},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1969,6,1]],"date-time":"1969-06-01T00:00:00Z","timestamp":-18489600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1969,6]]},"DOI":"10.1007\/bf02234759","type":"journal-article","created":{"date-parts":[[2005,10,21]],"date-time":"2005-10-21T11:14:20Z","timestamp":1129893260000},"page":"107-124","source":"Crossref","is-referenced-by-count":3,"title":["Zerlegungen von Semi-Thue-Systemen"],"prefix":"10.1007","volume":"4","author":[{"given":"V.","family":"Claus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Walter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02234759_CR1","volume-title":"Categories et Structures","author":"C. Ehresmann","year":"1965","unstructured":"Ehresmann, C.: Categories et Structures. Paris: Dunod. 1965."},{"key":"BF02234759_CR2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0019-9958(59)90362-6","volume":"2","author":"N. Chomsky","year":"1959","unstructured":"Chomsky, N.: On Certain Formal Properties of Grammars. Information and Control2, 137\u2013167 (1959).","journal-title":"Information and Control"},{"key":"BF02234759_CR3","volume-title":"The Mathematical Theory of Contextfree Languages","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg, S.: The Mathematical Theory of Contextfree Languages. New York: McGraw-Hill. 1966."},{"key":"BF02234759_CR4","first-page":"235","volume":"2","author":"G. Hotz","year":"1966","unstructured":"Hotz, G.: Eindeutigkeit und Mehrdeutigkeit formaler Sprachen. Elektronische Informationsverarbeitung und Kybernetik2, 235\u2013246 (1966).","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"key":"BF02234759_CR5","unstructured":"Hotz, G.: Erzeugung formaler Sprachen durch gekoppelte Ersetzungen, in:Bauer, F. L., Samelson, K., 4. Colloquium \u00fcber Automatentheorie, M\u00fcnchen 1967."},{"key":"BF02234759_CR6","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/S0019-9958(64)90120-2","volume":"7","author":"S. Y. Kuroda","year":"1964","unstructured":"Kuroda, S. Y.: Classes of Languages and Linear Bounded Automata. Information and Control7, 202\u2013223 (1964).","journal-title":"Information and Control"},{"key":"BF02234759_CR7","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0019-9958(63)90169-4","volume":"6","author":"P. S. Landweber","year":"1963","unstructured":"Landweber, P. S.: Three Theorems on Phrase Structure Grammars of Type 1, Information and Control6, 131\u2013136 (1963).","journal-title":"Information and Control"},{"issue":"4","key":"BF02234759_CR8","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF02235397","volume":"3","author":"C.-P. Schnorr","year":"1968","unstructured":"Schnorr, C.-P.: Vier Entscheidbarkeitsprobleme f\u00fcr kontextsensitive Sprachen. Comp.3, 4, 311\u2013317 (1968).","journal-title":"Comp."},{"key":"BF02234759_CR9","unstructured":"Vollmerhaus, W.: Die Zerlegung von kontextfreien Semi-Thue-Systemen mit Anwendung auf das Analyseproblem kontextfreier Sprachen. Beitr\u00e4ge zur Linguistik und Informationsverarbeitung,12, (1967)."},{"key":"BF02234759_CR10","unstructured":"Vollmerhaus, W.: \u00dcber die Zerlegung von freienX-Kategorien. In:Bauer, F. L., Samelson, K., 4. Colloquium \u00fcber Automatentheroie. M\u00fcnchen 1967."},{"key":"BF02234759_CR11","unstructured":"Walter, H.: Pullback-Konstruktionen bei Semi-Thue-Systemen. In:Bauer, F. L., Samelson, K., 4. Colloquium \u00fcber Automatentheorie. M\u00fcnchen 1967."}],"container-title":["Computing"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02234759.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02234759\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02234759","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T16:45:39Z","timestamp":1557938739000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02234759"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1969,6]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1969,6]]}},"alternative-id":["BF02234759"],"URL":"https:\/\/doi.org\/10.1007\/bf02234759","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1969,6]]}}}