{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T13:48:32Z","timestamp":1772372912539,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2012,5,26]],"date-time":"2012-05-26T00:00:00Z","timestamp":1337990400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s00500-012-0856-y","type":"journal-article","created":{"date-parts":[[2012,7,7]],"date-time":"2012-07-07T16:02:59Z","timestamp":1341676979000},"page":"1723-1732","source":"Crossref","is-referenced-by-count":8,"title":["Algebraic properties of complete residuated lattice valued tree automata"],"prefix":"10.1007","volume":"16","author":[{"given":"M.","family":"Ghorani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. M.","family":"Zahedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Ameri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,5,26]]},"reference":[{"key":"856_CR1","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1007\/s00500-011-0782-4","volume":"16","author":"KH Abolpour","year":"2012","unstructured":"Abolpour KH, Zahedi MM (2012) Isomorphism between two BL-general fuzzy automata. Soft Comput 16:729\u2013736","journal-title":"Soft Comput"},{"key":"856_CR2","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1016\/j.fss.2009.08.008","volume":"161","author":"S Bozapalidis","year":"2010","unstructured":"Bozapalidis S, Bozapalidoy OL (2010) Fuzzy tree language recognizability. Fuzzy Sets Syst 161:716\u2013734","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR3","unstructured":"Comon H, Dauchet M, Gilleron R, Jacquemard F, Lugiez D, Loding C, Tison S, Tommasi M (2007) Tree automata: techniques and applications. http:\/\/tata.gforge.inria.fr"},{"key":"856_CR4","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/S0304-3975(98)00185-6","volume":"243","author":"A Degtyarev","year":"2000","unstructured":"Degtyarev A, Gurevich YU, Narendran P, Veanes M, Voronkov A (2000) Decidability and complexity of simultaneous rigid E-unification with one variable and related results. Theor Comput Sci 243:167\u2013184","journal-title":"Theor Comput Sci"},{"key":"856_CR5","first-page":"365","volume":"12","author":"JE Doner","year":"1965","unstructured":"Doner JE (1965) Decidability of the weak second-order theory of two successors. Not Am Math Soc 12:365\u2013468","journal-title":"Not Am Math Soc"},{"key":"856_CR6","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1016\/S0022-0000(70)80041-1","volume":"4","author":"JE Doner","year":"1970","unstructured":"Doner JE (1970) Tree acceptors and some of their applications. J Comput Syst Sci 4:406\u2013451","journal-title":"J Comput Syst Sci"},{"key":"856_CR7","doi-asserted-by":"crossref","first-page":"1450","DOI":"10.1016\/j.fss.2007.02.016","volume":"158","author":"Z Esik","year":"2007","unstructured":"Esik Z, Liu G (2007) Fuzzy tree automata. Fuzzy Sets Syst 158:1450\u20131460","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR8","doi-asserted-by":"crossref","unstructured":"Inagaki Y, Fukumura T (1975) On the description of fuzzy meaning of context-free language. In: Fuzzy sets and their applications to cognitive and decision processes. Proc. U.S. Japan Seminar, University of California, Berkeley, CA, 1974, Academic Press, New York, pp 301\u2013328","DOI":"10.1016\/B978-0-12-775260-0.50018-9"},{"key":"856_CR9","unstructured":"Gallagher JP, Puebla G (2002) Abstract interpretation over non-deterministic finite tree automata for set-based analysis of logic programs. In: PADL 2002, pp 243\u2013261"},{"key":"856_CR10","unstructured":"Gecseg F, Steinby M (1984) Tree automata. Akademiai Kiado, Budapest"},{"key":"856_CR11","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.fss.2011.11.010","volume":"199","author":"M Ghorani","year":"2011","unstructured":"Ghorani M, Zahedi MM (2011) Characterizations of complete residuated lattice-valued finite tree automata. Fuzzy Sets Syst 199:28\u201346","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR12","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1007\/3-540-56503-5_50","volume":"665","author":"R Gilleron","year":"1993","unstructured":"Gilleron R, Tison S, Tommasi M (1993) Solving systems of set constraints using tree automata. Lect Notes Comput Sci 665:505\u2013514","journal-title":"Lect Notes Comput Sci"},{"issue":"6","key":"856_CR13","doi-asserted-by":"crossref","first-page":"1435","DOI":"10.1109\/TNN.2004.837585","volume":"156","author":"M Gori","year":"2004","unstructured":"Gori M, Petrosino A (2004) Encoding nondeterministic fuzzy tree automata into recursive neural networks. IEEE Trans Neural Netw 156(6):1435\u20131449","journal-title":"IEEE Trans Neural Netw"},{"key":"856_CR14","unstructured":"Hopcroft JE, Motwani R, Ullman JD (1979) Introduction to automata theory, languages and computation. Addison-Wesley, New york"},{"key":"856_CR15","doi-asserted-by":"crossref","unstructured":"Lee ET (1982) Fuzzy tree automata and syntactic pattern recognition. IEEE Transactions On Pattern Analysis And Machine Intelligence PAMI-4:445\u2013449","DOI":"10.1109\/TPAMI.1982.4767279"},{"key":"856_CR16","doi-asserted-by":"crossref","first-page":"1413","DOI":"10.1016\/j.ins.2006.07.015","volume":"177","author":"HX Lei","year":"2007","unstructured":"Lei HX, Li Y (2007) Minimization of states in automata theory based on finite lattice-ordered monoids. Inf Sci 177:1413\u20131421","journal-title":"Inf Sci"},{"issue":"13","key":"856_CR17","doi-asserted-by":"crossref","first-page":"1423","DOI":"10.1016\/j.fss.2007.03.003","volume":"158","author":"YM Li","year":"2007","unstructured":"Li YM, Pedrycz W (2007) Minimization of lattice finite automata and its application to the decomposition of lattice languages. Fuzzy Sets Syst 158(13):1423\u20131436","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR18","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s00500-010-0565-3","volume":"15","author":"X Lu","year":"2011","unstructured":"Lu X, Shang Y, Lu R (2011) Automata theory based on lattice-ordered semirings. Soft Comput 15:269\u2013280","journal-title":"Soft Comput"},{"key":"856_CR19","doi-asserted-by":"crossref","unstructured":"Malik DS, Mordeson JN (2000) Fuzzy discrete structures. Physica-Verlag, New York","DOI":"10.1007\/978-3-7908-1838-3"},{"key":"856_CR20","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/s005000100156","volume":"6","author":"J Mockor","year":"2002","unstructured":"Mockor J (2002) Semigroup homomorphisms and fuzzy automata. Soft Comput 6:422\u2013427","journal-title":"Soft Comput"},{"issue":"5","key":"856_CR21","first-page":"59","volume":"8","author":"S Moghari","year":"2011","unstructured":"Moghari S, Zahedi MM, Ameri R (2011) New direction in fuzzy tree automata. Iran J Fuzzy Syst 8(5):59\u201368","journal-title":"Iran J Fuzzy Syst"},{"key":"856_CR22","doi-asserted-by":"crossref","unstructured":"Mordeson JN, Malik DS (2002) Fuzzy automata and languages: theory and applications. Chapman & Hall CRC, London, BocaRaton","DOI":"10.1201\/9781420035643"},{"key":"856_CR23","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979) On fuzzy logic I: many-valued rules of inferences. Z Math Logik Grundlagen Math 25:45\u201352","journal-title":"Z Math Logik Grundlagen Math"},{"key":"856_CR24","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19790250706","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979) On fuzzy logic II: enriched residuated lattices and semantics of propositional calculi. Z Math Logik Grundlagen Math 25:119\u2013134","journal-title":"Z Math Logik Grundlagen Math"},{"key":"856_CR25","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1002\/malq.19790252510","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979) On fuzzy logic III: semantical completeness of some many-valued propositional calculi. Z Math Logik Grundlagen Math 25:447\u2013464","journal-title":"Z Math Logik Grundlagen Math"},{"issue":"6","key":"856_CR26","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF02713945","volume":"44","author":"DW Qiu","year":"2001","unstructured":"Qiu DW (2001) Automata theory based on completed residuated lattice-valued logic (I). Sci China Ser F 44(6):419\u2013429","journal-title":"Sci China Ser F"},{"issue":"6","key":"856_CR27","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1360\/02yf9038","volume":"45","author":"DW Qiu","year":"2002","unstructured":"Qiu DW (2002) Automata theory based on completed residuated lattice-valued logic (II). Sci China Ser F 45(6):442\u2013452","journal-title":"Sci China Ser F"},{"key":"856_CR28","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1016\/S0165-0114(03)00202-1","volume":"141","author":"DW Qiu","year":"2004","unstructured":"Qiu DW (2004) Characterizations of fuzzy finite automata. Fuzzy Sets Syst 141:391\u2013414","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR29","doi-asserted-by":"crossref","first-page":"2128","DOI":"10.1016\/j.fss.2006.03.014","volume":"157","author":"DW Qiu","year":"2006","unstructured":"Qiu DW (2006) Pumping lemma in automata theory based on complete residuated lattice- valued logic: a note. Fuzzy Sets Syst 157:2128\u20132138","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR30","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/j.artint.2006.12.002","volume":"171","author":"DW Qiu","year":"2007","unstructured":"Qiu DW (2007) A note on Trillas CHC models. Artif Intell 171:239\u2013254","journal-title":"Artif Intell"},{"key":"856_CR31","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01691346","volume":"2","author":"JW Thatcher","year":"1968","unstructured":"Thatcher JW, Wright JB (1968) Generalized finite automata with an application to a decision problem of second-order logic. Math Syst Theory 2:57\u201382","journal-title":"Math Syst Theory"},{"key":"856_CR32","doi-asserted-by":"crossref","first-page":"847","DOI":"10.1007\/s00500-006-0136-9","volume":"11","author":"Y Shang","year":"2007","unstructured":"Shang Y, Lu R (2007) Semirings and pseudo MV algebras. Soft Comput 11:847\u2013853","journal-title":"Soft Comput"},{"key":"856_CR33","doi-asserted-by":"crossref","first-page":"1635","DOI":"10.1016\/j.fss.2009.12.011","volume":"161","author":"L Wu","year":"2010","unstructured":"Wu L, Qiu DW (2010) Automata theory based on completed residuated lattice-valued logic: reduction and minimization. Fuzzy Sets Syst 161:1635\u20131656","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR34","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.1016\/j.fss.2008.07.010","volume":"160","author":"HY Xing","year":"2009","unstructured":"Xing HY, Qiu DW, Liu FC (2009) Automata theory based on complete residuated lattice-valued logic: pushdown automata. Fuzzy Sets Syst 160:1125\u20131140","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR35","doi-asserted-by":"crossref","first-page":"1407","DOI":"10.1016\/j.fss.2007.01.008","volume":"158","author":"HY Xing","year":"2007","unstructured":"Xing HY, Qiu DW, Liu FC, Fan ZJ (2007) Equivalence in automata theory based on complete residuated lattice-valued logic. Fuzzy Sets Syst 158:1407\u20131422","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR36","doi-asserted-by":"crossref","first-page":"1141","DOI":"10.1016\/j.fss.2008.06.016","volume":"160","author":"HY Xing","year":"2009","unstructured":"Xing HY, Qiu DW (2009) Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic. Fuzzy Sets Syst 160:1141\u20131151","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR37","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/0165-0114(91)90100-5","volume":"39","author":"MS Ying","year":"1991","unstructured":"Ying MS (1991) A new approach for fuzzy topology (I). Fuzzy Sets Syst 39:303\u2013321","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR38","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0165-0114(92)90181-3","volume":"47","author":"MS Ying","year":"1992","unstructured":"Ying MS (1992) A new approach for fuzzy topology (II). Fuzzy Sets Syst 47:221\u2013232","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR39","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0165-0114(93)90132-2","volume":"55","author":"MS Ying","year":"1993","unstructured":"Ying MS (1993) A new approach for fuzzy topology (III). Fuzzy Sets Syst 55:193\u2013207","journal-title":"Fuzzy Sets Syst"},{"key":"856_CR40","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0165-0114(93)90215-4","volume":"56","author":"MS Ying","year":"1993","unstructured":"Ying MS (1993) Fuzzifying topology based on complete residuated lattice valued logic (I). Fuzzy Sets Syst 56:337\u2013373","journal-title":"Fuzzy Sets Syst"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-012-0856-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-012-0856-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-012-0856-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,26]],"date-time":"2024-04-26T15:36:39Z","timestamp":1714145799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-012-0856-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,26]]},"references-count":40,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["856"],"URL":"https:\/\/doi.org\/10.1007\/s00500-012-0856-y","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,26]]}}}