( en | de | ru )

 

Disambiguation of "de Paiva, Valeria"

Author of the publication

copydeleteadd this publication to your clipboard
Extracting Mathematical Concepts from Text.

, , , and . CoRR, (2022)

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

Categorical and Kripke Semantics for Constructive S4 Modal Logic., , , and . CSL, volume 2142 of Lecture Notes in Computer Science, page 292-307. Springer, (2001)Fuzzy Topological Systems, and . CoRR, (2011)A Dialectica-like Model of Linear Logic.. Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, page 341-356. Springer, (1989)On the Lambek Calculus with an Exchange Modality., , and . Linearity-TLLA@FLoC, volume 292 of EPTCS, page 43-89. (2018)Dialectical categories, cardinalities of the continuum and combinatorics of ideals., and . Logic Journal of the IGPL, 25 (4): 585-603 (2017)Fibrational Modal Type Theory., and . LSFA, volume 323 of Electronic Notes in Theoretical Computer Science, page 143-161. Elsevier, (2015)Constructive Temporal Logic, Categorically., and . FLAP, (2017)Preface to Intiutionistic Modal Logic 2017., and . FLAP, 8 (8): 2261-2264 (2021)A linked open data architecture for the historical archives of the Getulio Vargas Foundation., , , , , and . Int. J. Digit. Libr., 15 (2-4): 153-167 (2015)Intuitionistic Modal Logic and Applications (IMLA 2008)., and . Inf. Comput., 209 (12): 1435-1436 (2011)