{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T14:05:36Z","timestamp":1761919536218},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540593409"},{"type":"electronic","value":"9783540492375"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59340-3_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:14:56Z","timestamp":1330276496000},"page":"95-113","source":"Crossref","is-referenced-by-count":2,"title":["Rewriting and tree automata"],"prefix":"10.1007","author":[{"given":"Max","family":"Dauchet","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"8_CR1","unstructured":"Aiken, A., D. Kozen, M. Vardi and E. L. Wimmers, The complexity of set constraints. Technical Report 93-1352, Computer Science Department, Cornell University, june 1993."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Bogaert, B. and S. Tison, Equality and disequality constraints on direct subterms in tree automata. Proceedings of STACS'92, Lecture Notes in Computer Science, Springer-Verlag, volume 577, pp. 161\u2013171, 1992.","DOI":"10.1007\/3-540-55210-3_181"},{"key":"8_CR3","unstructured":"Brachman, R. J. What is Knowledge Representation, and where is it Going? Future Tendencies in Computer Science, Control and Applied Mathematics, Lecture Notes in Computer Science, Springer-Verlag, volume 653, pp. 189\u2013203, 1992."},{"key":"8_CR4","series-title":"Lecture Notes in Mathematics 328","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0082720","volume-title":"Decidable Theories II","author":"J.R. B\u00fcchi","year":"1973","unstructured":"B\u00fcchi, J.R. The monadic theory of \u03c91. Decidable Theories II, Lecture Notes in Mathematics 328, Springer Verlag, Berlin, pp. 1\u2013127, 1973."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Caron, A.-C., J.-L. Coquid\u00e9 and M. Dauchet. Encompassment properties and automata with constraints. Proceedings of 5th Conference on Rewriting Techniques and Applications, Montr\u00e9al (Canada), Lecture Notes in Computer Science, Springer Verlag, volume 690, pp. 328\u2013342, june 1993.","DOI":"10.1007\/3-540-56868-9_25"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Caron, A.-C, H. Comon, J.-L. Coquid\u00e9, M. Dauchet, F. Jacquemard. Pumping, Cleaning and Symbolic Constraints Solving, Proceedings of ICALP'94.","DOI":"10.1007\/3-540-58201-0_88"},{"key":"8_CR7","unstructured":"Comon, H. Unification et disunification. Th\u00e9orie et applications. Ph. D. thesis. I.N.P. Grenoble, 1988."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Comon, H. Equational formulas on order-sorted algebras. Proceedings of ICALP'90, Lecture Notes in Computer Science, Springer-Verlag, volume 443, pp. 674\u2013688, 1990.","DOI":"10.1007\/BFb0032066"},{"key":"8_CR9","first-page":"242","volume-title":"The Theory of Ground Rewrite Systems is Decidable","author":"M. Dauchet","year":"1990","unstructured":"Dauchet, M. and S. Tison. The Theory of Ground Rewrite Systems is Decidable. Proceedings of 5th IEEE Symposium on Logic in Computer Science (Philadelphia, PA.), IEEE Computer Society Press, pp. 242\u2013248, june 1990."},{"key":"8_CR10","unstructured":"Dauchet, M. and S. Tison. Structural complexity of classes of tree languages, Tree Automata and Languages, Elsevier Sciences, M. Nivat and A. Podelski ed., pp 327\u2013353, 1992."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Dershowitz, N. and J.-P. Jouannaud. Rewrite systems. Handbook of Theoretical Computer Science, volume B, pp. 243\u2013309. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"8_CR12","unstructured":"Deruyver, A. VALERIAAN et EMMY: deux logiciels-laobratoires pour la r\u00e9\u00e9criture, Ph.D., University of Lille I, 1990."},{"key":"8_CR13","first-page":"372","volume-title":"Solving Systems of Set Constraints with Negated Subset Relationships","author":"R. Gilleron","year":"1993","unstructured":"Gilleron, R., S. Tison and M. Tommasi. Solving Systems of Set Constraints with Negated Subset Relationships. Proceedings of 34th Symposium on Foundations of Computer Science (Palo Alto, CA.), IEEE Computer Society Press, pp. 372\u2013380, november 1993."},{"key":"8_CR14","unstructured":"Heintze, N. Set Based Program Analysis, Ph. D., Carnegie Mellon University, 1992."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Kucherov, G. and M. Tajin, Decidability of regularity and related properties of ground normal languages, 3rd International Workshop on Conditional Term Rewriting Systems, Lecture Notes in Computer Science, Springer-Verlag, vol. 652, PP. 272\u2013286, 1992.","DOI":"10.1007\/3-540-56393-8_20"},{"key":"8_CR16","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-56402-0_58","volume":"657","author":"I. Litovsky","year":"1993","unstructured":"Litovsky, I., Y. Metivier and W. Zielonka. The power and limitations of local computations on graphs and networks. Lecture Notes in Computer Science, Springer Verlag, volume 657, pp. 333\u2013343, 1993.","journal-title":"Lecture Notes in Computer Science, Springer Verlag"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Rabin, M.O. Decidable Theories, Handbook of Mathematical Logic, North Holland Eds, pp. 595\u2013627, 1977.","DOI":"10.1016\/S0049-237X(08)71116-9"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Thomas, W. Automata on Infinite Objects. Handbook of Theoretical Computer Science, volume B, pp. 135\u2013192. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"8_CR19","first-page":"197","volume":"48","author":"S. Vagv\u00f6lgyi","year":"1992","unstructured":"Vagv\u00f6lgyi, S. and R. Gilleron, For a rewriting system it is decidable whether the set of irreductible ground terms is recognizable, Bulletin of EATCS, 48, pp. 197\u2013209, 1992.","journal-title":"Bulletin of EATCS"}],"container-title":["Lecture Notes in Computer Science","Term Rewriting"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59340-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:59Z","timestamp":1605648419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59340-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540593409","9783540492375"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-59340-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}