Luiz Carlos Pereira

	2002
4		Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: Preface: WoLLIC 2002 Electr. Notes Theor. Comput. Sci. 67: (2002)
3		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		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