{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:26:21Z","timestamp":1740108381398,"version":"3.37.3"},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T00:00:00Z","timestamp":1479945600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s00236-016-0286-x","type":"journal-article","created":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T00:14:32Z","timestamp":1479946472000},"page":"81-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A new bound for the D0L language equivalence problem"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7321-3582","authenticated-orcid":false,"given":"Juha","family":"Honkala","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,24]]},"reference":[{"key":"286_CR1","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.ic.2003.12.002","volume":"190","author":"J Honkala","year":"2004","unstructured":"Honkala, J.: Bounds for the D0L language equivalence problem. Inf. Comput. 190, 70\u201380 (2004)","journal-title":"Inf. Comput."},{"key":"286_CR2","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/s00236-006-0028-6","volume":"43","author":"J Honkala","year":"2007","unstructured":"Honkala, J.: A new bound for the D0L sequence equivalence problem. Acta Inform. 43, 419\u2013429 (2007)","journal-title":"Acta Inform."},{"key":"286_CR3","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1016\/S0019-9958(74)90857-2","volume":"25","author":"M Nielsen","year":"1974","unstructured":"Nielsen, M.: On the decidability of some equivalence problems for D0L systems. Inf. Control 25, 166\u2013193 (1974)","journal-title":"Inf. Control"},{"key":"286_CR4","volume-title":"The Mathematical Theory of L Systems","author":"G Rozenberg","year":"1980","unstructured":"Rozenberg, G., Salomaa, A.: The Mathematical Theory of L Systems. Academic Press, New York (1980)"},{"volume-title":"Handbook of Formal Languages","year":"1997","key":"286_CR5","unstructured":"Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 1\u20133. Springer, Berlin (1997)"},{"key":"286_CR6","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0166-218X(90)90061-G","volume":"41","author":"A Salomaa","year":"1993","unstructured":"Salomaa, A.: Simple reductions between D0L language and sequence equivalence problems. Discrete Appl. Math. 41, 271\u2013274 (1993)","journal-title":"Discrete Appl. Math."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-016-0286-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0286-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-016-0286-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T08:31:11Z","timestamp":1517473871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-016-0286-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,24]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["286"],"URL":"https:\/\/doi.org\/10.1007\/s00236-016-0286-x","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2016,11,24]]}}}