Haydée Werneck Poubel

According to our database, Haydée Werneck Poubel authored at least 3 papers between 1993 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

A framework to visualize equivalences between computational models of regular languages.

Mauricio Ayala-Rincón, Alexsandro F. da Fonseca, Haydée Werneck Poubel, José de Siqueira

Inf. Process. Lett., 2002

1994

A Categorical Approach to Higher-level Introduction and Elimination Rules.

Haydée Werneck Poubel, Luiz Carlos Pereira

Reports Math. Log., 1994

1993

Sobre o Teorema da Modularização: Importância e uma Prova por Quociente.

Haydée Werneck Poubel, Paulo Augusto Silva Veloso

Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993