2008 | ||
---|---|---|
3 | EE | Ana 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) |
2006 | ||
2 | EE | Ana 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 | ||
1 | EE | Lí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) |
1 | Ana Teresa C. Martins | [1] [2] [3] |