Leonardo B. Vana

2008
3	EE	Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso: Sequent Calculi for 'Generally'. Electr. Notes Theor. Comput. Sci. 205: 49-65 (2008)
2007
2	EE	Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso: Natural Deduction for "Generally". Logic Journal of the IGPL 15(5-6): 775-800 (2007)
2003
1	EE	Leonardo B. Vana, Marcelo da S. Corrêa: A Tableau Method for the Lambek Calculus based on a Matrix Characterization. Electr. Notes Theor. Comput. Sci. 84: (2003)

Coauthor Index

1	Marcelo da S. Corrêa	[1]
2	Paulo A. S. Veloso	[2] [3]
3	Sheila R. M. Veloso	[2] [3]

Colors in the list of coauthors