{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:00Z","timestamp":1725663180113},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100034"},{"type":"electronic","value":"9783540393467"}],"license":[{"start":{"date-parts":[[1980,1,1]],"date-time":"1980-01-01T00:00:00Z","timestamp":315532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_55","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:59:02Z","timestamp":1330171142000},"page":"12-18","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Test sets for homomorphism equivalence on context free languages"],"prefix":"10.1007","author":[{"given":"J.","family":"Albert","sequence":"first","affiliation":[]},{"suffix":"II","given":"K.","family":"Culik","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"2_CR1","volume-title":"Test sets for homomorphisms equivalence on context free languages","author":"J. Albert","year":"1979","unstructured":"Albert, J. and Culik, K. II (1979), Test sets for homomorphisms equivalence on context free languages, Inf. and Control, to appear, also Res. Rep. CS-79-39, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada."},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0022-0000(79)90012-6","volume":"19","author":"M. Blattner","year":"1979","unstructured":"Blattner, M. and Head, T. (1979), The decidability of equivalence for deterministic finite transducers, J. Computer Syst. Sci. 19, 45\u201349.","journal-title":"J. Computer Syst. Sci."},{"key":"2_CR3","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, K. II (1977), On the decidability of the sequence equivalence problem for DOL-systems, Theoretical Computer Sci. 3, 75\u201384.","journal-title":"Theoretical Computer Sci."},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0020-0190(79)90080-2","volume":"8","author":"K. Culik II","year":"1979","unstructured":"Culik, K. II (1979), Some decidability results about regular and push down translations, Information Processing Letters 8, 5\u20138.","journal-title":"Information Processing Letters"},{"key":"2_CR5","volume-title":"Homomorphisms: Decidability, Equality and Test Sets, Proceedings of the International Symposium on Formal Languages Theory, Santa Barbara, California","author":"K. Culik II","year":"1980","unstructured":"Culik, K. II (1980), Homomorphisms: Decidability, Equality and Test Sets, Proceedings of the International Symposium on Formal Languages Theory, Santa Barbara, California, Dec. 1979, to appear, also Res. Rep. CS-80-02, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada."},{"key":"2_CR6","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, K. II and Fris, I. (1977), The decidability of the equivalence problem for DOL systems, Inform. Control 35, 20\u201339.","journal-title":"Inform. Control"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1080\/00207167908803155","volume":"7","author":"K. Culik II","year":"1979","unstructured":"Culik, K. II and Richier, J.L. (1979), Homomorphism equivalence on ETOL languages, Int. J. Computer Math. Section A, 7, 43\u201351.","journal-title":"Int. J. Computer Math. Section A"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0022-0000(78)90002-8","volume":"17","author":"K. Culik II","year":"1978","unstructured":"Culik, K. II and Salomaa, A. (1978), On the decidability of homomorphism equivalence for languages, J. Computer Syst. Sci. 17, 163\u2013175.","journal-title":"J. Computer Syst. Sci."},{"key":"2_CR9","volume-title":"Test sets and checking words for homomorphism equivalence","author":"K. Culik II","year":"1979","unstructured":"Culik, K. II and Salomaa, A. (1979), Test sets and checking words for homomorphism equivalence, J. Computer Syst. Sci., to appear, also Res. Rep. CS-79-04, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada."},{"key":"2_CR10","volume-title":"Introduction to Formal Language Theory","author":"M. A. Harrison","year":"1978","unstructured":"Harrison, M.A. (1978), \"Introduction to Formal Language Theory\", Addison-Wesley, Reading, Massachusetts."},{"key":"2_CR11","volume-title":"Formal Languages and Their Relation to Automata","author":"J. E. Hopcroft","year":"1969","unstructured":"Hopcroft, J.E. and Ullman, J.D. (1969), \"Formal Languages and Their Relation to Automata\", Addison-Wesley, Reading, Massachusetts."},{"key":"2_CR12","volume-title":"Formal Languages","author":"A. Salomaa","year":"1973","unstructured":"Salomaa, A. (1973), \"Formal Languages\", Academic Press, New York."},{"key":"2_CR13","first-page":"127","volume":"4","author":"A. Salomaa","year":"1978","unstructured":"Salomaa, A. (1978), Equality sets for homomorphisms on free monoids, Acta Cybernetica, vol. 4, 127\u2013139.","journal-title":"Acta Cybernetica"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T09:00:38Z","timestamp":1580288438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]},"assertion":[{"value":"24 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}