( en | de | ru )

 

Disambiguation of "de Paiva, Valeria"

Author of the publication

copydeleteadd this publication to your clipboard
Textual Inference Logic: Take Two.

, , , , , , , and . C&O:RR, volume 298 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)

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.

Vanessa Nunes de Paiva

Valeria De Marco

Márcio Antônio de Paiva

César Paiva

Rodrigo Paiva

 

Other publications of authors with the same name

Intuitionistic Logic and Legal Ontologies., , and . JURIX, volume 223 of Frontiers in Artificial Intelligence and Applications, page 155-158. IOS Press, (2010)Dialectica Fuzzy Petri Nets., and . CoRR, (2020)MathGloss: Building mathematical glossaries from text., and . CoRR, (2023)22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015)., , , and . Logic Journal of the IGPL, 24 (5): 859 (2016)Natural Deduction and Context as (Constructive) Modality.. CONTEXT, volume 2680 of Lecture Notes in Computer Science, page 116-129. Springer, (2003)A Term Calculus for Intuitionistic Linear Logic., , , and . TLCA, volume 664 of Lecture Notes in Computer Science, page 75-90. Springer, (1993)Sense-Specific Implicative Commitments., and . CICLing (1), volume 8403 of Lecture Notes in Computer Science, page 391-402. Springer, (2014)On Explicit Substitution and Names (Extended Abstract)., and . ICALP, volume 1256 of Lecture Notes in Computer Science, page 248-258. Springer, (1997)Dialectica Categories for the Lambek Calculus., and . CoRR, (2018)Relating Legal Entities via Open Information Extraction., , , and . MTSR, volume 846 of Communications in Computer and Information Science, page 181-187. Springer, (2018)