Ana Teresa C. Martins

	2011
14		Henrique Viana, João Alcântara, Ana Teresa C. Martins: Paraconsistent Rough Description Logic. Description Logics 2011
13		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
12		Cibele Matos Freire, Ana Teresa C. Martins: The Descriptive Complexity of the Deterministic Exponential Time Hierarchy. Electr. Notes Theor. Comput. Sci. 269: 71-82 (2011)
11		Francicleber Martins Ferreira, Ana Teresa C. Martins: Recursive definitions and fixed-points on well-founded structures. Theor. Comput. Sci. 412(37): 4893-4904 (2011)
	2010
10		Henrique Viana, Thiago Alves, João Alcântara, Ana Teresa C. Martins: A Tractable Paraconsistent Fuzzy Description Logic. URSW 2010: 101-104
	2009
9		Francicleber Martins Ferreira, Ana Teresa C. Martins: Recursive Definitions and Fixed-Points. Electr. Notes Theor. Comput. Sci. 247: 19-37 (2009)
8		Alexandre Matos Arruda, Ana Teresa C. Martins: Natural deduction for the finite least fixed point logic with an infinitary rule. Logic Journal of the IGPL 17(5): 531-558 (2009)
	2008
7		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)
6		Alexandre 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
5		Francicleber Martins Ferreira, Ana Teresa C. Martins: On Minimal Models. Logic Journal of the IGPL 15(5-6): 503-526 (2007)
	2006
4		Francicleber Martins Ferreira, Ana Teresa C. Martins: The Predicate-Minimizing Logic MIN. IBERAMIA-SBIA 2006: 582-591
3		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
2		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)
	1996
1		Ana Teresa C. Martins, Marcelino Pequeno, Tarcisio H. C. Pequeno: Well-Behaved IDL Theories. SBIA 1996: 11-20

Coauthor Index

1	João Alcântara	[10] [14]
2	Thiago Alves	[10]
3	Alexandre Matos Arruda	[6] [8]
4	Mario R. F. Benevides	[13]
5	Francicleber Martins Ferreira	[4] [5] [9] [11] [13]
6	Cibele Matos Freire	[12] [13]
7	Lília Ramalho Martins	[2] [3] [7]
8	Marcelino Pequeno	[1]
9	Tarcisio H. C. Pequeno	[1]
10	L. Menasché Schechter	[13]
11	Henrique Viana	[10] [14]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page