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 |
On the Transferability of Pre-trained Language Models for Low-Resource Programming Languages ...
|
|
Chen, Fuxiang. - : Federated Research Data Repository / dépôt fédéré de données de recherche, 2022
|
|
BASE
|
|
Show details
|
|
3 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
4 |
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
|
|
5 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
6 |
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
|
|
7 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
Improving the Fitness Function of an Evolutionary Suspense Generator Through Sentiment Analysis
|
|
|
|
In: IEEE Access, vol. 9, pp. 39626-39635, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
9 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
BASE
|
|
Show details
|
|
10 |
The cloud application modelling and execution language (CAMEL) ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Symbolic Learning of State Transitions of Deterministic Finite Automata
|
|
|
|
BASE
|
|
Show details
|
|
12 |
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
|
|
13 |
Discourses of terrorism: The role of Internet technologies (social media and online propaganda) on Islamic radicalisation, extremism and recruitment post 9/11
|
|
Torok, Robyn. - : Edith Cowan University, Research Online, Perth, Western Australia, 2016
|
|
In: Theses: Doctorates and Masters (2016)
|
|
BASE
|
|
Show details
|
|
15 |
Automating Variability Model Inference for Component-Based Language Implementations
|
|
|
|
In: SPLC'14 - 18th International Software Product Line Conference ; https://hal.inria.fr/hal-01023864 ; SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy (2014)
|
|
BASE
|
|
Show details
|
|
16 |
τ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
|
|
19 |
Extensible Document-Based Model Web Engineering
|
|
|
|
In: Research Challenges in Information Science (RCIS), 2013 IEEE Seventh International Conference on ; https://hal.archives-ouvertes.fr/hal-01073662 ; Research Challenges in Information Science (RCIS), 2013 IEEE Seventh International Conference on, May 2013, Paris, France. pp.1 - 11, ⟨10.1109/RCIS.2013.6577713⟩ (2013)
|
|
BASE
|
|
Show details
|
|
20 |
Anonymous social influence
|
|
|
|
In: ISSN: 0899-8256 ; EISSN: 1090-2473 ; Games and Economic Behavior ; https://halshs.archives-ouvertes.fr/halshs-00913235 ; Games and Economic Behavior, Elsevier, 2013, pp.621-635 (2013)
|
|
BASE
|
|
Show details
|
|
|
|