| 2002 | ||
|---|---|---|
| 2 | Mauricio Ayala-Rincón, Alexsandro F. da Fonseca, Haydée Werneck Poubel, José de Siqueira: A framework to visualize equivalences between computational models of regular languages. Inf. Process. Lett. 84(1): 5-16 (2002) | |
| 1994 | ||
| 1 | Haydée Werneck Poubel, Luiz Carlos Pereira: A Categorical Approach to Higher-level Introduction and Elimination Rules. Reports on Mathematical Logic 28: 3-19 (1994) | |
| 1 | Mauricio Ayala-Rincón | [2] |
| 2 | Alexsandro F. da Fonseca | [2] |
| 3 | Luiz Carlos Pereira | [1] |
| 4 | José de Siqueira | [2] |