An axiomatization of regular forests in the language of algebraic theories with iteration
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 130-136
- https://doi.org/10.1007/3-540-10854-8_13
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Rational algebraic theories and fixed-point solutionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- The minimalization of tree automataInformation and Control, 1968
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968
- Two Complete Axiom Systems for the Algebra of Regular EventsJournal of the ACM, 1966