{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:21:24Z","timestamp":1776316884882,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540008972","type":"print"},{"value":"9783540365761","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36576-1_21","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T02:42:17Z","timestamp":1181616137000},"page":"328-342","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Counting and Equality Constraints for Multitree Automata"],"prefix":"10.1007","author":[{"given":"Denis","family":"Lugiez","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"L. Berman. Precise bounds for Presburger arithmetic and the reals with addition: Preliminary report. In Proc. of Symp. on Foundation Of Computer Science, pages 95\u201399, 1977.","DOI":"10.1109\/SFCS.1977.23"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Dan Benanav, Deepak Kapur, and Paliath Narendran. Complexity of matching problems. In Proc. of 1st Int. Conf. on Rewriting techniques and Applications, vol. 202 of Lect. Notes in Comp. Sci., pages 417\u2013429, 1985.","DOI":"10.1007\/3-540-15976-2_22"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9781139172752"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"B. Bogaert and S. Tison. Equality and disequality constraints on direct subterms in tree automata. In Proc. of the 9th STACS, vol. 577 of Lect. Notes in Comp. Sci., pp. 161\u2013172, 1992.","DOI":"10.1007\/3-540-55210-3_181"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"A.C. Caron, H. Comon, J.L. Coquid\u00e9, M. Dauchet, and F. Jacquemard. Pumping, cleaning and symbolic constraints solving. In Proc. 21st ICALP, Jerusalem (Israel), pages 436\u2013449, 1994.","DOI":"10.1007\/3-540-58201-0_88"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"H. Comon and F. Jacquemard. Ground reducibility and automata with disequality constraints. In Springer-Verlag, editor, Proc. of 11th STACS, vol. 820 of Lect. Notes in Comp. Sci., pages 151\u2013162, 1994.","DOI":"10.1007\/3-540-57785-8_138"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Th. Colcombet. Rewriting in partial algebra of typed terms modulo aci. presented at the Infinity workshop, August 2002.","DOI":"10.1016\/S1571-0661(04)80532-2"},{"key":"21_CR8","unstructured":"S. DalZilio and D. Lugiez. Multitrees automata,Presburger\u2019s constraints and tree logics. Tech. Report 4631, INRIA, 2002."},{"key":"21_CR9","unstructured":"J. Goubault-Larrecq and K.N. Verma. Alternating two-way AC-tree automata. Technical report, LSV, ENS Cachan, 2002."},{"issue":"4","key":"21_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1006\/jsco.1994.1049","volume":"18","author":"D. Lugiez","year":"1994","unstructured":"D. Lugiez and J.L. Moysset. Tree automata help one to solve equational formulae in AC-theories. Journal of Symbolic Computation, 18(4):297\u2013318, 1994.","journal-title":"Journal of Symbolic Computation"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"D. Lugiez. A good class of tree automata. In K. Larsen, S. Skyum, and G. Winskel, editors, Proc. of 15th ICALP, vol. 1443 of Lect. Notes in Comp. Sci., pages 409\u2013420. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0055071"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Makoto Murata. Extended path expression for XML. In ACM, editor, Proc. of the 20th Symp. on Principles of Database Systems (PODS), Santa Barbara, USA, 2001. ACM.","DOI":"10.1145\/375551.375569"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Joachim Niehren and Andreas Podelski. Feature automata and recognizable sets of feature trees. In Proc. TAPSOFT\u201993, vol. 668 of Lect. Notes in Comp. Sci., pages 356\u2013375, 1993.","DOI":"10.1007\/3-540-56610-4_76"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Hitoshi Ohsaki. Beyond the regularity: Equational tree automata for associative and commutative theories. In CSL 2001, vol. 2142 of Lect. Notes in Comp. Sci.. Springer-Verlag, 2001.","DOI":"10.1007\/3-540-44802-0_38"},{"issue":"6","key":"21_CR15","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/S0019-9958(68)90999-6","volume":"13","author":"C. Pair","year":"1968","unstructured":"C. Pair and A. Qu\u00e9r\u00e9. D\u00e9finition et \u00e9tude des bilangages r\u00e9guliers. Information and Control, 13(6):565\u2013593, 1968.","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36576-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T10:41:09Z","timestamp":1683888069000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-36576-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008972","9783540365761"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-36576-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"28 February 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}