Deciding equivalence of finite tree automata
- 1 December 2005
- book chapter
- Published by Springer Nature
- p. 480-492
- https://doi.org/10.1007/bfb0029009
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- AutomataPublished by Springer Nature ,1986
- On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite AutomataSIAM Journal on Computing, 1985
- AlternationJournal of the ACM, 1981
- Introduction to Analytic Number TheoryPublished by Springer Nature ,1976
- Word problems requiring exponential time(Preliminary Report)Published by Association for Computing Machinery (ACM) ,1973
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968
- Approximate formulas for some functions of prime numbersIllinois Journal of Mathematics, 1962