2 search results - page 1 / 1 » Decidability of Regularity and Related Properties of Ground ... |
85
Voted
CTRS
1992
15 years 2 months ago
1992
ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1
75
Voted
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...