( en | de | ru )

 

Disambiguation of "Martins, Ana Teresa C."

Author of the publication

copydeleteadd this publication to your clipboard
Hybrid Logics and NP Graph Properties.

, , , , and . WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 123-134. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ana Teresa Marques

Ana C Zenclussen

Ana Paula Martins Camargo

Ana Teresa Monteiro Tomás

Ana Teresa Lecaros-Terry

 

Other publications of authors with the same name

Searching contexts in paraconsistent rough description logic., , and . J. Braz. Comp. Soc., 21 (1): 7 (2015)The Predicate-Minimizing Logic MIN., and . IBERAMIA-SBIA, volume 4140 of Lecture Notes in Computer Science, page 582-591. Springer, (2006)Recursive definitions and fixed-points on well-founded structures., and . Theor. Comput. Sci., 412 (37): 4893-4904 (2011)Polynomial hierarchy graph properties in hybrid logic., , , , and . J. Comput. Syst. Sci., 80 (6): 1087-1101 (2014)Natural Deduction for Full S5 Modal Logic with Weak Normalization., and . WoLLIC, volume 143 of Electronic Notes in Theoretical Computer Science, page 129-140. Elsevier, (2005)A Tractable Paraconsistent Fuzzy Description Logic., , , and . URSW, volume 654 of CEUR Workshop Proceedings, page 101-104. CEUR-WS.org, (2010)Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT., , and . Theor. Comput. Sci., (2020)Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games., , and . Theor. Comput. Sci., (2020)Expressible preferential logics., and . J. Log. Comput., 22 (5): 1125-1143 (2012)Well-Behaved IDL Theories., , and . SBIA, volume 1159 of Lecture Notes in Computer Science, page 11-20. Springer, (1996)