Search the dblp DataBase

Publications of Author

1. Francicleber Martins Ferreira, Ana Teresa C. Martins
   The Predicate-Minimizing Logic MIN. [Citation Graph (0, 0)][DBLP]
   IBERAMIA-SBIA, 2006, pp:582-591 [Conf]
   
2. Ana Teresa C. Martins, Marcelino Pequeno, Tarcisio H. C. Pequeno
   Well-Behaved IDL Theories. [Citation Graph (0, 0)][DBLP]
   SBIA, 1996, pp:11-20 [Conf]
   
3. Ana Teresa C. Martins, Lília Ramalho Martins
   Natural Deduction for Full S5 Modal Logic with Weak Normalization. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:143, n:, pp:129-140 [Journal]
   
4. Lília Ramalho Martins, Ana Teresa C. Martins
   Natural Deduction and Weak Normalization for Full Linear Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:6, pp:601-625 [Journal]
   
5. 
   Full classical S5 in natural deduction with weak normalization. [Citation Graph (, )][DBLP]
   
   
6. 
   An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. [Citation Graph (, )][DBLP]
   
   
7. 
   Recursive Definitions and Fixed-Points. [Citation Graph (, )][DBLP]