( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Extracting Mathematical Concepts from Text.

, , , и . W-NUT@COLING, стр. 15-23. Association for Computational Linguistics, (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.

Vanessa Nunes de Paiva

Valeria De Marco

Márcio Antônio de Paiva

César Paiva

Rodrigo Paiva

 

Другие публикации лиц с тем же именем

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