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 |
Quantifying Holistic Capacity Response and Healthcare Resilience in Tackling COVID-19: Assessment of Country Capacity by MCDM ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Quantifying Holistic Capacity Response and Healthcare Resilience in Tackling COVID-19: Assessment of Country Capacity by MCDM ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
Quantifying Holistic Capacity Response and Healthcare Resilience in Tackling COVID-19: Assessment of Country Capacity by MCDM.xlsx ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Using latent profile methodology to obtain a midwestern community college student typology
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Exploring issues in lexical acquisition using Bayesian modelling
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Figure 2. Causal Loop Diagram For The Problem Situation-An Efficient Expert System Generator For Qualitative Feed-Back Loop Analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Figure 2. Causal Loop Diagram For The Problem Situation-An Efficient Expert System Generator For Qualitative Feed-Back Loop Analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Evaluation of risk from acts of terrorism :the adversary/defender model using belief and fuzzy sets.
|
|
|
|
BASE
|
|
Show details
|
|
18 |
An articulatorily constrained, maximum entropy approach to speech recognition and speech coding
|
|
|
|
In: Other Information: PBD: [1996] (1996)
|
|
BASE
|
|
Show details
|
|
20 |
A semantic link model for Hypertext retrieval
|
|
|
|
In: ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Informationssysteme, 194 (1993)
|
|
BASE
|
|
Show details
|
|
|
|