The following pages link to Rodrigo de Souza (Q1959398):
Displayed 7 items.
- Lexicographic decomposition of \(k\)-valued transducers (Q1959399) (← links)
- On the Decidability of the Equivalence for k-Valued Transducers (Q3533016) (← links)
- On the Decidability of Bounded Valuedness for Transducers (Q3599160) (← links)
- On the Decidability of the Equivalence for a Certain Class of Transducers (Q3637249) (← links)
- Uniformisation of Two-Way Transducers (Q4910492) (← links)
- (Q4910755) (← links)
- (Q5192982) (← links)