Leonardo B. Vana Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2008
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 190-204 (2003)

Coauthor Index

1Marcelo da S. Corrêa
[j1]
2Paulo A. S. Veloso
[j3] [j2]
3Sheila R. M. Veloso
[j3] [j2]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 17:11:21 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page