The following pages link to André Arnold (Q671987):
Displaying 29 items.
- (Q4138171) (← links)
- (Q4140917) (← links)
- (Q4157924) (← links)
- (Q4166238) (← links)
- (Q4172929) (← links)
- Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables (Q4174258) (← links)
- Forêts Algébriques et Homomorphismes Inverses (Q4178513) (← links)
- (Q4191570) (← links)
- (Q4260382) (← links)
- (Q4273664) (← links)
- (Q4289659) (← links)
- A selection property of the boolean $\mu $-calculus and some of its applications (Q4380557) (← links)
- (Q4417852) (← links)
- (Q4734769) (← links)
- Construction and Analysis of Transition Systems with MEC (Q4850737) (← links)
- (Q4869542) (← links)
- (Q4942640) (← links)
- The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees (Q4943546) (← links)
- (Q4948010) (← links)
- The algebra of binary trees is affine complete (Q5024662) (← links)
- Affine Completeness of Some Free Binary Algebras (Q5038564) (← links)
- Verification and comparison of transition systems (Q5044730) (← links)
- (Q5445157) (← links)
- (Q5590826) (← links)
- (Q5616169) (← links)
- (Q5753528) (← links)
- Rudiments of \(\mu\)-calculus (Q5926539) (← links)
- The algebra of complete binary trees is affine complete (Q6342354) (← links)
- Affine completeness of some free binary algebras (Q6371137) (← links)
