Haydée Werneck Poubel

Publication Activity (10 Years)

Years Active: 1993-2002
Publications (10 Years): 0

Publications

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) (2002)
Haydée Werneck Poubel, Luiz Carlos Pereira
A Categorical Approach to Higher-level Introduction and Elimination Rules. Reports Math. Log. 28 (1994)
Haydée Werneck Poubel, Paulo Augusto Silva Veloso
Sobre o Teorema da Modularização: Importância e uma Prova por Quociente. SBES (1993)