1 |
From the Formal Definition of Concept to the Linguistic Definition of Term ; De la définition formelle du concept à la définition en langue du terme
|
|
|
|
In: ISSN: 2299-7164 ; EISSN: 2353-3218 ; Academic Journal of Modern Philology ; https://hal.archives-ouvertes.fr/hal-03549751 ; Academic Journal of Modern Philology, Uniwersytet Wroctawski, 2021, ⟨10.34616/ajmp.2021.13⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Metaphors of emotions: towards a data-driven formalization ; Метафори емоцій: на шляху до формалізації, що базується на мовних даних
|
|
|
|
In: MESSENGER of Kyiv National Linguistic University. Series Philology; Vol. 24 No. 1 (2021); 33-48 ; ВІСНИК Київського національного лінгвістичного університету. Серія Філологія; Том 24 № 1 (2021); 33-48 ; 2415-7333 ; 2311-0821 ; 10.32589/2311-0821.1. (2021)
|
|
BASE
|
|
Show details
|
|
3 |
A Language Agnostic Approach to Modeling Requirements: Specification and Verification
|
|
|
|
In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020)
|
|
BASE
|
|
Show details
|
|
4 |
OntoCork
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03106503 ; 2020, https://github.com/GuidaRamos/OntoCork. ⟨10.34619/a27q-1ryd⟩ (2020)
|
|
BASE
|
|
Show details
|
|
6 |
What Does This Notation Mean Anyway? ; What Does This Notation Mean Anyway?: MBNF-Style Notation as it is Actually Used
|
|
|
|
In: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice ; https://hal.inria.fr/hal-01812800 ; 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom (2018)
|
|
BASE
|
|
Show details
|
|
9 |
Formal definition and construction of nominative signature
|
|
|
|
In: Faculty of Informatics - Papers (Archive) (2007)
|
|
BASE
|
|
Show details
|
|
11 |
Toward Formalizing Structured Analysis
|
|
|
|
In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998)
|
|
BASE
|
|
Show details
|
|
12 |
A Family of Syntax Definition Formalisms
|
|
|
|
In: http://www.cs.uu.nl/~visser/ftp/P9504-7.ps.gz (1995)
|
|
BASE
|
|
Show details
|
|
|
|