Page: 1... 4 5 6 7 8 9 10 11 12... 233
141 |
Identifying Salient Aktionsart Properties in Anindilyakwa
|
|
|
|
In: EISSN: 2226-471X ; Languages ; https://hal-univ-paris.archives-ouvertes.fr/hal-03481090 ; Languages, MDPI, 2021, 6 (4), ⟨10.3390/languages6040164⟩ ; https://www.mdpi.com/2226-471X/6/4/164 (2021)
|
|
BASE
|
|
Show details
|
|
142 |
Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03030511 ; ISTE Editions, 2021, 9781784057022 (2021)
|
|
BASE
|
|
Show details
|
|
143 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
144 |
Language and semantics of expressions for Grafcet model synthesis in an MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02558838 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
145 |
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
|
|
146 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
147 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
148 |
Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03030484 ; ISTE Editions, 2021, 9781784057015 (2021)
|
|
BASE
|
|
Show details
|
|
149 |
Language and semantics of expressions for Grafcet model synthesis in an MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02558838 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
150 |
Nobody there? On the non-existence of nobody in Mandarin Chinese and related issues
|
|
|
|
In: ISSN: 0008-4131 ; EISSN: 1710-1115 ; Canadian Journal of Linguistics / Revue canadienne de linguistique ; https://hal.archives-ouvertes.fr/hal-03435652 ; Canadian Journal of Linguistics / Revue canadienne de linguistique, Cambridge University Press, 2021, 66 (3), pp.279-316. ⟨10.1017/cnj.2021.21⟩ (2021)
|
|
BASE
|
|
Show details
|
|
151 |
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
|
|
152 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
153 |
Parametric updates in parametric timed automata
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-03340905 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩ ; https://lmcs.episciences.org/7470 (2021)
|
|
BASE
|
|
Show details
|
|
154 |
Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation
|
|
|
|
In: 2021 IEEE Intelligent Vehicles Symposium (IV) ; https://hal.archives-ouvertes.fr/hal-03540190 ; 2021 IEEE Intelligent Vehicles Symposium (IV), Jul 2021, Nagoya, Japan. pp.215-222, ⟨10.1109/IV48863.2021.9575528⟩ (2021)
|
|
BASE
|
|
Show details
|
|
155 |
Asymmetries in Path expression in Ye’kwana
|
|
|
|
In: ISSN: 0378-4177 ; Studies in Language ; https://hal.archives-ouvertes.fr/hal-03113498 ; Studies in Language, John Benjamins Publishing, In press, pp.sl.18023.cac ; https://benjamins.com/catalog/sl.18023.cac (2021)
|
|
BASE
|
|
Show details
|
|
156 |
Communicating artificial neural networks develop efficient color-naming systems
|
|
|
|
In: ISSN: 0027-8424 ; EISSN: 1091-6490 ; Proceedings of the National Academy of Sciences of the United States of America ; https://hal.inria.fr/hal-03329084 ; Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2021, 118 (12), ⟨10.1073/pnas.2016569118⟩ (2021)
|
|
BASE
|
|
Show details
|
|
157 |
"By the way, do you like Spider Man?" -Towards A Social Planning Model for Rapport
|
|
|
|
In: SemDial 2021 - 25th Workshop on the Semantics and Pragmatics of Dialogue ; https://hal.inria.fr/hal-03536332 ; SemDial 2021 - 25th Workshop on the Semantics and Pragmatics of Dialogue, Sep 2021, Potsdam / Virtual, Germany (2021)
|
|
BASE
|
|
Show details
|
|
158 |
Introduction
|
|
|
|
In: ISSN: 0920-9034 ; Journal of Pidgin and Creole Languages ; https://halshs.archives-ouvertes.fr/halshs-03101135 ; Journal of Pidgin and Creole Languages, John Benjamins Publishing, 2021, Approaches to variation in Creole studies, 36 (1), pp.1-11 (2021)
|
|
BASE
|
|
Show details
|
|
159 |
Multilingualism and languages teaching-learning process in Dogon country (Mali) ; Multilinguisme et enseignement / apprentissage des langues en Pays dogon (Mali)
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03324343 ; Linguistique. Université Paul Valéry - Montpellier III, 2021. Français. ⟨NNT : 2021MON30010⟩ (2021)
|
|
BASE
|
|
Show details
|
|
160 |
Story of a legal codex(t) : writing law in code ; L’histoire du codex(t) juridique : écrire le droit en code
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03618704 ; Droit. Institut d'études politiques de paris - Sciences Po, 2021. Français. ⟨NNT : 2021IEPP0041⟩ (2021)
|
|
BASE
|
|
Show details
|
|
Page: 1... 4 5 6 7 8 9 10 11 12... 233
|
|