Continuous monoids and yields of infinite trees
Open Access
- 1 January 1986
- journal article
- research article
- Published by EDP Sciences in RAIRO - Theoretical Informatics and Applications
- Vol. 20 (3) , 251-274
- https://doi.org/10.1051/ita/1986200302511
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Ensembles reconnaissables de mots biinfinisPublished by Association for Computing Machinery (ACM) ,1982
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- An algorithm for the solution of fixed-point equations for infinite wordsRAIRO. Informatique théorique, 1980
- Infinite trees in normal form and recursive equations having a unique solutionTheory of Computing Systems, 1979
- Frontiers of infinite treesRAIRO. Informatique théorique, 1978
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966