| 1 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
ImproteK: introducing scenarios into human-computer music improvisation
|
|
|
|
In: ACM Computers in Entertainment ; https://hal.archives-ouvertes.fr/hal-01380163 ; ACM Computers in Entertainment, 2017, ⟨10.1145/3022635⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Statistical speech recognition for laryngeal and alaryngeal voice ; Reconnaissance Statistique de la Parole Continue pour Voix Laryngée et Alaryngée
|
|
|
|
In: https://hal.inria.fr/tel-01563766 ; Informatique et langage [cs.CL]. Université Mohammed V de Rabat (Maroc), 2017. Français (2017)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Symbolic Learning of State Transitions of Deterministic Finite Automata
|
|
|
|
BASE
|
|
Show details
|
|
|
| 11 |
New Results on Morris's Observational Theory ; New Results on Morris's Observational Theory: the benefits of separating the inseparable
|
|
|
|
In: EISSN: 1868-8969 ; Leibniz International Proceedings in Informatics ; https://hal.inria.fr/hal-01337192 ; Leibniz International Proceedings in Informatics , Leibniz-Zentrum für Informatik, 2016, 1st International Conference on Formal Structures for Computation and Deduction, pp.560. ⟨10.4230/LIPIcs.FSCD.2016.70⟩ ; http://fscd2016.dcc.fc.up.pt/ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
On the Power and Universality of Biologically-inspired Models of Computation ; Étude de la puissance d'expression et de l'universalité des modèles de calcul inspirés par la biologie
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01272318 ; Computation and Language [cs.CL]. Université Paris-Est, 2015. English. ⟨NNT : 2015PESC1012⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Ambiguity of $\omega$-Languages of Turing Machines
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-00735050 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3:12), pp.1-18 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
τC: C with process network extensions for embedded manycores
|
|
|
|
In: ISSN: 1877-0509 ; EISSN: 1877-0509 ; Procedia Computer Science ; https://hal-cea.archives-ouvertes.fr/cea-01831559 ; Procedia Computer Science, Elsevier, 2014, 29, pp.1100-1112. ⟨10.1016/j.procs.2014.05.099⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of “common European” and Japanese types
|
|
|
|
In: Syntactic structures / Синтаксические Структуры (Sintaksicheskie struktury) ; https://hal.inria.fr/inria-00138201 ; Syntactic structures / Синтаксические Структуры (Sintaksicheskie struktury), A.B. Letuchiy, V.S. Volk, N.A. Korotkova, Ya.G. Testelets, Apr 2007, Moscow, Russia (2007)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Confidence Estimation for NLP Applications
|
|
|
|
In: http://iit-iti.nrc-cnrc.gc.ca/iit-publications-iti/docs/NRC-48755.pdf (2006)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
9.59J / 24.905J Psycholinguistics, Fall 2002 ; Psycholinguistics
|
|
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Construction d'espaces sémantiques à l'aide de dictionnaires de synonymes
|
|
|
|
In: ISSN: 1248-9433 ; EISSN: 1965-0906 ; Revue TAL ; Traitement automatique des langues ; https://halshs.archives-ouvertes.fr/halshs-00009433 ; Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 1998, pp.161-182 (1998)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Jean Nicod's approach -an overview of Geometry in the sensible world ; La démarche de Jean Nicod - résumé de La géométrie dans le monde sensible
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02331878 ; 1992 (1992)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
70 Finite State Concatenative Morphotactics: The Treatment of Igbo Verbs
|
|
|
|
In: http://ijcir.org/volume7-number1/article7.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
