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 |
Ancient Greek – Introduction, Part 2 ... : Writing Systems, the Alphabet ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
An Introduction to Complex Systems: Making Sense of a Changing World
|
|
|
|
In: Faculty Books (2019)
|
|
BASE
|
|
Show details
|
|
9 |
Bilingual education and school choice: a case study of public secondary schools in the Spanish region of Madrid
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Redundancy in Linear Systems: Combinatorics, Algorithms and Analysis
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Linear A and Linear B: Structural and contextual concerns ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Linear A and Linear B: Structural and contextual concerns
|
|
Meissner, Torsten; Steele, Philippa. - : Edizioni Consiglio Nazionale delle Ricerche, 2017. : Aegean scripts : proceedings of the 14th International Colloquium on Mycenaean Studies, Copenhagen, 2-5 September 2015, 2017
|
|
BASE
|
|
Show details
|
|
13 |
Non-linear Second order Abstract Categorial Grammars and deletion
|
|
|
|
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
|
|
BASE
|
|
Show details
|
|
14 |
Comparing and evaluating extended Lambek calculi
|
|
|
|
In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015)
|
|
BASE
|
|
Show details
|
|
15 |
Control difuso para el seguimiento de guiñada del AUV Cormorán ; Fuzzy control for yaw tracking of Cormoran AUV
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Complex question answering : minimizing the gaps and beyond
|
|
Hasan, Sheikh Sadid Al. - : Lethbridge, Alta. : University of Lethbridge, Dept. of Mathematics and Computer Science, 2014. : Arts and Science, 2014. : Department of Mathematics and Computer Science, 2014
|
|
BASE
|
|
Show details
|
|
17 |
Computerized analysis of coronary artery disease: Performance evaluation of segmentation and tracking of coronary arteries in CT angiograms
|
|
|
|
BASE
|
|
Show details
|
|
18 |
The discovery of the raampa pictographic writing in the Senegambia, West Africa
|
|
|
|
BASE
|
|
Show details
|
|
19 |
Improving the Capacity of Language Recognition Systems to Handle Rare Languages Using Radio Broadcast Data
|
|
|
|
In: DTIC (2011)
|
|
BASE
|
|
Show details
|
|
20 |
Dual language development among Vietnamese-English bilingual children:modeling trajectories and cross-linguistic associations within a dynamic systems framework.
|
|
|
|
BASE
|
|
Show details
|
|
|
|