2002 | ||
---|---|---|
2 | EE | 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 | EE | 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] |