共 50 条
- [2] Bottom-Up Tree Automata with Term Constraints [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 581 - 593
- [3] Fundamental properties of bottom-up pushdown tree automata [J]. Yamasaki, Katsunori, 1600, (21):
- [6] Transformations Between Different Types of Unranked Bottom-Up Tree Automata [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (31): : 159 - 168
- [9] Bottom-Up derivatives of tree expressions [J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2021, 55
- [10] ALTERNATING BOTTOM-UP TREE RECOGNIZERS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 214 : 158 - 171