Le théorème de transversale rationnelle dans les langages d'arbres

DOI10.1007/BF01744300zbMath0441.68082OpenAlexW2090241132MaRDI QIDQ3883537

André Arnold

Publication date: 1980

Published in: Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01744300

zbMATH Keywords

cross section theoremrecognizable tree-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Un théorème de duplication pour les forets algébriques
• Sur les rélations rationnelles entre monoides libres
• On tree transducers for partial functions
• A new proof of two theorems about rational transductions
• Bottom-up and top-down tree transformations— a comparison
• Forêts Algébriques et Homomorphismes Inverses
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Mappings and grammars on trees

This page was built for publication: Le théorème de transversale rationnelle dans les langages d'arbres