Travelled to:1 × Germany
1 × Japan
1 × Spain
Collaborated with:∅
Talks about:transduc (3) equival (2) decid (2) uniformis (1) certain (1) class (1) valu (1) way (1) two (1)
Person: Rodrigo de Souza
DBLP: Souza:Rodrigo_de
Contributed to:
2013
20092008Wrote 3 papers:
- LATA-2013-Souza #transducer
- Uniformisation of Two-Way Transducers (RdS), pp. 547–558.
- DLT-2009-Souza #decidability #equivalence #on the #transducer
- On the Decidability of the Equivalence for a Certain Class of Transducers (RdS), pp. 478–489.
- DLT-2008-Souza #decidability #equivalence #on the #transducer
- On the Decidability of the Equivalence for k-Valued Transducers (RdS), pp. 252–263.