- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j4 |      | Francicleber Martins Ferreira, Ana Teresa C. Martins: Expressible preferential logics. J. Log. Comput. 22(5): 1125-1143 (2012) |
| 2011 | ||
| j3 | | Francicleber Martins Ferreira, Ana Teresa C. Martins: Recursive definitions and fixed-points on well-founded structures. Theor. Comput. Sci. 412(37): 4893-4904 (2011) |
| c2 | | Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins: Hybrid Logics and NP Graph Properties. WoLLIC 2011: 123-134 |
| 2009 | ||
| j2 | | Francicleber Martins Ferreira, Ana Teresa C. Martins: Recursive Definitions and Fixed-Points. Electr. Notes Theor. Comput. Sci. 247: 19-37 (2009) |
| 2007 | ||
| j1 | | Francicleber Martins Ferreira, Ana Teresa C. Martins: On Minimal Models. Logic Journal of the IGPL 15(5-6): 503-526 (2007) |
| 2006 | ||
| c1 | | Francicleber Martins Ferreira, Ana Teresa C. Martins: The Predicate-Minimizing Logic MIN. IBERAMIA-SBIA 2006: 582-591 |
| 1 | Mario R. F. Benevides | |
| 2 | Cibele Matos Freire | |
| 3 | Ana Teresa C. Martins | |
| 4 | L. Menasché Schechter |
Data released under the ODC-BY 1.0 license — See also our legal information page