dblp.uni-trier.dewww.uni-trier.de

Ana Teresa C. Martins

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEAna Teresa C. Martins, Lília Ramalho Martins: Full classical S5 in natural deduction with weak normalization. Ann. Pure Appl. Logic 152(1-3): 132-147 (2008)
6EEAlexandre Matos Arruda, Ana Teresa C. Martins: An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. Electr. Notes Theor. Comput. Sci. 205: 89-104 (2008)
2007
5EEFrancicleber Martins Ferreira, Ana Teresa C. Martins: On Minimal Models. Logic Journal of the IGPL 15(5-6): 503-526 (2007)
2006
4EEFrancicleber Martins Ferreira, Ana Teresa C. Martins: The Predicate-Minimizing Logic MIN. IBERAMIA-SBIA 2006: 582-591
3EEAna Teresa C. Martins, Lília Ramalho Martins: Natural Deduction for Full S5 Modal Logic with Weak Normalization. Electr. Notes Theor. Comput. Sci. 143: 129-140 (2006)
2004
2EELília Ramalho Martins, Ana Teresa C. Martins: Natural Deduction and Weak Normalization for Full Linear Logic. Logic Journal of the IGPL 12(6): 601-625 (2004)
1996
1 Ana Teresa C. Martins, Marcelino Pequeno, Tarcisio H. C. Pequeno: Well-Behaved IDL Theories. SBIA 1996: 11-20

Coauthor Index

1Alexandre Matos Arruda [6]
2Francicleber Martins Ferreira [4] [5]
3Lília Ramalho Martins [2] [3] [7]
4Marcelino Pequeno [1]
5Tarcisio H. C. Pequeno [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)