L'accès aux archives de la revue « Informatique théorique et applications » implique l'accord avec les conditions générales d'utilisation (http://www.numdam. org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/
L'accès aux archives de la revue « Informatique théorique et applications » implique l'accord avec les conditions générales d'utilisation (http://www.numdam. org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Informatique théorique et Applications/Theoretical Informaties and Applications (vol. 20, n° 3, 1986, p. 251 à 274) CONTINUOUS MOIMOIDS AND YIELDS OF INFINITE TREES (•) by M. DAUCHET (*) and E. TIMMERMAN (2) Communicated by A. ARNOLD Abstract.-We dejîne in a canonical algebraic way the structure of (order-) continuous monoid and the notion of the yieid of an infinité tree. We prove the decidability of the equality of the yields of two regular infinité trees. Resumé.-Nous spécifions, dans l'esprit des catégories, ce que doivent être un monoïde continu et le feuillage d'un arbre infini (la continuité est prise au sens des C.P.O.). Nous prouvons la décidabilité de Végalité des feuillages pour les arbres infinis réguliers.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.