Author:
Ghorani M.,Zahedi M. M.,Ameri R.
Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference40 articles.
1. Abolpour KH, Zahedi MM (2012) Isomorphism between two BL-general fuzzy automata. Soft Comput 16:729–736
2. Bozapalidis S, Bozapalidoy OL (2010) Fuzzy tree language recognizability. Fuzzy Sets Syst 161:716–734
3. 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
4. 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–184
5. Doner JE (1965) Decidability of the weak second-order theory of two successors. Not Am Math Soc 12:365–468
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献