{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:59Z","timestamp":1725664439660},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540587156"},{"type":"electronic","value":"9783540490548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58715-2_131","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:41:37Z","timestamp":1330256497000},"page":"276-287","source":"Crossref","is-referenced-by-count":1,"title":["Solving a unification problem under constrained substitutions using tree automata"],"prefix":"10.1007","author":[{"given":"Yuichi","family":"Kaji","sequence":"first","affiliation":[]},{"given":"Toru","family":"Kasami","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Fujiwara","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/3-540-53904-2_90","volume":"488","author":"J. Chabin","year":"1991","unstructured":"Chabin J. and R\u00e9ty P.: \u201cNarrowing Directed by a Graph of Terms\u201d, Proc. of the Fourth Intl. Conf. on RTA, Como, Italy, Lecture Notes in Computer Sciences 488, pp.112\u2013123 (1991).","journal-title":"Lecture Notes in Computer Sciences"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Comon H., Haberstrau M. and Jouannaud J.P.: \u201cDecidable Problems in Shallow Equational Theories\u201d, Proc. of Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, pp.255\u2013265 (June 1992).","DOI":"10.1109\/LICS.1992.185538"},{"key":"23_CR3","unstructured":"Dershowitz N. and Jouannaud J.P.: \u201cRewrite Systems\u201d, Handbook of Theoretical Computer Science, Vol. B, North-Holland (1990)."},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/3-540-19242-5_4","volume":"308","author":"N. Dershowitz","year":"1987","unstructured":"Dershowitz N. and Sivakumar G.: \u201cSolving Goals in Equational Languages\u201d, Proc. First Workshop of CTRS, Lecture Notes in Computer Science 308, pp.45\u201355 (1987).","journal-title":"Lecture Notes in Computer Science"},{"key":"23_CR5","unstructured":"Fay M.: \u201cFirst-order Unification in an Equational Theory\u201d, Proc. Fourth Workshop on Automated Deduction, Austin, Texas, pp.161\u2013167 (Feb. 1979)."},{"key":"23_CR6","first-page":"984","volume":"J69-D","author":"T. Fujiwara","year":"1986","unstructured":"Fujiwara T., Taniguchi K. and Kasami T.: \u201cDecision Problem of the Security for Cryptographic Protocols\u201d, Trans. IEICE, J69-D, 6, pp.984\u2013992 (June 1986, in Japanese); also in Perspectives in Computing, Academic Press, pp.263\u2013286 (1987).","journal-title":"Trans. IEICE"},{"key":"23_CR7","volume-title":"Tree Automata","author":"F. G\u00e9cseq","year":"1984","unstructured":"G\u00e9cseq F. and Steinby M.: \u201cTree Automata\u201d, Akad\u00e9miai Kiad\u00f3, Budapest (1984)."},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00264362","volume":"24","author":"S. Heilbrunner","year":"1987","unstructured":"Heilbrunner S. and H\u00f6lldobler S.: \u201cThe Undecidability of the Unification and Matching Problem for Canonical Theories\u201d, Acta Informatica, 24, pp.157\u2013171 (1987).","journal-title":"Acta Informatica"},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/3-540-10009-1_25","volume":"87","author":"J.M. Hullot","year":"1980","unstructured":"Hullot J.M.: \u201cCannonincal Forms and Unification\u201d, Proc. Fifth International Conference on Automated Deduction, Les Arcs, France, Lecture Notes in Computer Science 87, pp.318\u2013334 (1980).","journal-title":"Lecture Notes in Computer Science"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Kaji Y., Fujiwara T. and Kasami T.: \u201cSolving a Unification Problem under Constrained Substitutions Using Tree Automata\u201d, Technical Report of Nara Institute of Science and Technology, No. 94011 (Apr. 1994).","DOI":"10.1007\/3-540-58715-2_131"},{"key":"23_CR11","unstructured":"Martelli A., Moiso C. and Rossi G.F.: \u201cAn algorithm for Unification in Equational Theories\u201d, Proc. Third IEEE Symposium on Logic Programming, Salt Lake City, Utah, pp.180\u2013186 (Sep. 1986)."},{"issue":"2","key":"23_CR12","first-page":"555","volume":"8","author":"J.V. Matijasevic","year":"1967","unstructured":"Matijasevic J.V.: \u201cSimple Examples of Undecidable Associative Calculi\u201d, Soviet Math. 8, 2, pp.555\u2013557 (1967).","journal-title":"Soviet Math."},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/3-540-17220-3_19","volume":"256","author":"P. R\u00e9ty","year":"1987","unstructured":"R\u00e9ty P.: \u201cImproving Basic Narrowing Techniques\u201d, Proc. of the Second Intl. Conf. on RTA, Bordeaux, France, Lecture Notes in Computer Sciences 256, pp.216\u2013227 (1987).","journal-title":"Lecture Notes in Computer Sciences"},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","volume":"7","author":"J.H. Siekmann","year":"1989","unstructured":"Siekmann J.H.: \u201cUnification Theory\u201d, J. Symbolic Computation, 7, pp.207\u2013274 (1989).","journal-title":"J. Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Foundation of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58715-2_131.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:23:44Z","timestamp":1605630224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58715-2_131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587156","9783540490548"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58715-2_131","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}