Leonardo B. Vana

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso
Sequent Calculi for 'Generally'. LSFA (2007)
Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso
Natural Deduction for "Generally". Log. J. IGPL 15 (5-6) (2007)
Leonardo B. Vana, Marcelo da Silva Corrêa
A Tableau Method for the Lambek Calculus based on a Matrix Characterization. Electron. Notes Theor. Comput. Sci. 84 (2003)