Luiz Carlos Pereira

2002
4	EE	Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: Preface: WoLLIC 2002 Electr. Notes Theor. Comput. Sci. 67: (2002)
3	EE	Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: 9th Workshop on Logic, Language, Information and Computation. Logic Journal of the IGPL 10(6): 679-688 (2002)
1994
2	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)
1993
1		Luiz Carlos Pereira, Edward Hermann Haeusler: A Formalization of Sambin's Normalization for GL. Math. Log. Q. 39: 133-142 (1993)

Coauthor Index

1	Edward Hermann Haeusler	[1] [3] [4]
2	Haydée Werneck Poubel	[2]
3	Ruy J. G. B. de Queiroz	[3] [4]

Colors in the list of coauthors