The following pages link to André Arnold (Q671987):
Displaying 50 items.
- (Q163602) (redirect page) (← links)
- (Q582128) (redirect page) (← links)
- Optimal word chains for the Thue-Morse word (Q582129) (← links)
- A topological property of rational \(\omega\)-languages (Q671988) (← links)
- An initial semantics for the \(\mu\)-calculus on trees and Rabin's complementation lemma (Q672383) (← links)
- (Q1056552) (redirect page) (← links)
- Rational \(\omega\)-languages are non-ambiguous (Q1056553) (← links)
- A syntactic congruence for rational \(\omega\)-languages (Q1066675) (← links)
- Logical definability of fixed points (Q1114673) (← links)
- A linear algorithm to solve fixed-point equations on transition systems (Q1115196) (← links)
- Recursivite et cônes rationnels fermés par intersection (Q1133331) (← links)
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs (Q1136494) (← links)
- Synchronized behaviours of processes and rational relations (Q1161282) (← links)
- Morphismes et bimorphismes d'arbres (Q1165018) (← links)
- Un théorème de duplication pour les forets algébriques (Q1229588) (← links)
- Un théorème de Chomsky-Schützenberger pour les forets algébriques (Q1240569) (← links)
- A new proof of two theorems about rational transductions (Q1255326) (← links)
- An example of sequentialization of a parallel algorithm (Q1262778) (← links)
- An algebraic characterization of observational equivalence (Q1351804) (← links)
- Nivat's processes and their synchronization (Q1603683) (← links)
- Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
- An algebraic characterization of transition system equivalences (Q1822989) (← links)
- A relative of the Thue-Morse sequence (Q1894002) (← links)
- Affine completeness of the algebra of full binary trees (Q2217772) (← links)
- On the separation question for tree languages (Q2254515) (← links)
- (Q2904779) (← links)
- (Q3051403) (← links)
- (Q3086917) (← links)
- (Q3086918) (← links)
- (Q3325067) (← links)
- (Q3330516) (← links)
- (Q3350779) (← links)
- (Q3660931) (← links)
- (Q3662640) (← links)
- (Q3698292) (← links)
- (Q3753512) (← links)
- Formal computations of non deterministic recursive program schemes (Q3883492) (← links)
- Le théorème de transversale rationnelle dans les langages d'arbres (Q3883537) (← links)
- (Q3886881) (← links)
- (Q3890123) (← links)
- (Q3900995) (← links)
- (Q3914421) (← links)
- (Q3923575) (← links)
- Une propri\'et\'e des forêts alg\'ebriques « de greibach \ra (Q3928269) (← links)
- (Q3940870) (← links)
- (Q3947101) (← links)
- An extension of the notions of traces and of asynchronous automata (Q3988805) (← links)
- (Q4005202) (← links)
- (Q4029582) (← links)
- (Q4134908) (← links)
