{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T20:16:51Z","timestamp":1672690611569},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1978,3,1]],"date-time":"1978-03-01T00:00:00Z","timestamp":257558400000},"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,3]]},"DOI":"10.1007\/bf00260925","type":"journal-article","created":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T02:57:26Z","timestamp":1096253846000},"page":"79-84","source":"Crossref","is-referenced-by-count":16,"title":["The ultimate equivalence problem for DOL systems"],"prefix":"10.1007","volume":"10","author":[{"suffix":"II","given":"Karel","family":"Culik","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF00260925_CR1","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0304-3975(76)90066-9","volume":"3","author":"K. Culik II","year":"1977","unstructured":"Culik II, K.: On the decidability of the sequence equivalence problem for DOL systems. Theoret. Comput. Sci. 3, 75\u201384 (1977)","journal-title":"Theoret. Comput. Sci."},{"key":"BF00260925_CR2","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1016\/S0019-9958(77)90512-5","volume":"35","author":"K. Culik II","year":"1977","unstructured":"Culik II, K., Fris, I.: The sequence equivalence problem for DOL systems is decidable. Information and Control 35, 20\u201339 (1977)","journal-title":"Information and Control"},{"key":"BF00260925_CR3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0020-0190(78)90035-2","volume":"7","author":"K. Culik II","year":"1978","unstructured":"Culik II, K.: The decidability of v-local catenativity and of other properties of DOL systems. Information Processing Lett. 7, 33\u201335 (1978)","journal-title":"Information Processing Lett."},{"key":"BF00260925_CR4","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S0019-9958(78)90336-4","volume":"36","author":"K. Culik II","year":"1978","unstructured":"Culik II, K., Maurer, H.A.: Propagating chain-free normal forms for EOL systems. Information and Control 36, 309\u2013319 (1978)","journal-title":"Information and Control"},{"key":"BF00260925_CR5","volume-title":"Proceedings of a Conference on Theoretical Computer Science","author":"A. Ehrenfeucht","year":"1977","unstructured":"Ehrenfeucht, A., Rozenberg, G.: On simplifications of PDOL systems. Proceedings of a Conference on Theoretical Computer Science, University of Waterloo, Waterloo, Ontario, Canada, August 1977"},{"key":"BF00260925_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the third G.I. Conference on Theoretical Computer Science, Darmstadt, March 1977","author":"G. Jacob","year":"1977","unstructured":"Jacob, G.: Decidabilite de la finitude des demi-groupes de Matrices. Proceedings of the third G.I. Conference on Theoretical Computer Science, Darmstadt, March 1977. Lecture Notes in Computer Science. Berlin-Heidelberg-New York: Springer 1977"},{"key":"BF00260925_CR7","unstructured":"Jacob, G.: Un algorithme calculant le cardinal, fini ou infini, des demi-groupes de matrices. Theoret. Comput. Sci. (in press)"},{"key":"BF00260925_CR8","series-title":"Research Report","volume-title":"On finite semigroups of matrices","author":"A. Mandel","year":"1977","unstructured":"Mandel, A., Simon, I.: On finite semigroups of matrices. Research Report, Instituto de Matematica e Statistika, Universidade de Sao Paulo, Brasil, 1977"},{"key":"BF00260925_CR9","volume-title":"Formal languages","author":"A. Salomaa","year":"1973","unstructured":"Salomaa, A.: Formal languages. New York: Academic Press 1973"},{"key":"BF00260925_CR10","unstructured":"Salomaa, A., Soittola, M.: Automata-theoretic aspects of formal power series. Berlin-Heidelberg-New York: Springer (in press)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00260925.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00260925\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00260925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00260925.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,17]],"date-time":"2020-02-17T22:54:38Z","timestamp":1581980078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00260925"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,3]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,3]]}},"alternative-id":["BF00260925"],"URL":"https:\/\/doi.org\/10.1007\/bf00260925","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,3]]}}}