DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...195
Hits 1 – 20 of 3.897

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
Semantics with assignment variables
Silk, Alex. - Cambridge, United Kingdom : Cambridge University Press, 2021
BLLDB
UB Frankfurt Linguistik
Show details
3
Properties and propositions : the metaphysics of higher-order logic
Trueman, Robert. - Cambridge, United Kingdom : Cambridge University Press, 2021
BLLDB
UB Frankfurt Linguistik
Show details
4
Conceptual alternatives: Competition in language and beyond
In: Linguistics & Philosophy ; https://hal.archives-ouvertes.fr/hal-03102612 ; Linguistics & Philosophy, In press (2021)
BASE
Show details
5
Multiplicative Linear Logic from Logic Programs and Tilings
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 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
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
9
Stellar Resolution: Multiplicatives - for the linear logician, through examples
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
10
Covariant Subtyping Applied to Semantic Predicate Calculi
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03542057 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
BASE
Show details
11
On the habitual verb "pflegen" in German: its use, origin, and development
In: Linguistics. - Berlin [u.a.] : Mouton de Gruyter 59 (2021) 6, 1473-1530
BLLDB
Show details
12
Dialogue Modeling in a Dynamic Framework ; Modélisation dynamique des dialogues
Boritchev, Maria. - : HAL CCSD, 2021
In: https://hal.archives-ouvertes.fr/tel-03541628 ; Computation and Language [cs.CL]. Université de Lorraine; École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine, 2021. English. ⟨NNT : 2021LORR0199⟩ (2021)
BASE
Show details
13
MIC ...
Kurthy, Miklos. - : Open Science Framework, 2021
BASE
Show details
14
Advances in formal Slavic linguistics 2018 ...
Unkn Unknown. - : Freie Universität Berlin, 2021
BASE
Show details
15
Cyclic scope and processing difficulty in a Minimalist parser
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 8 ; 2397-1835 (2021)
BASE
Show details
16
Revisiting subjunctive obviation in French: a formal acceptability judgment study
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 59 ; 2397-1835 (2021)
BASE
Show details
17
Approximation derived from a scalar exclusive particle associating with covert focus: The case of Hebrew be-sax ha-kol
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 5 ; 2397-1835 (2021)
BASE
Show details
18
Ideal Words: A Vector-Based Formalisation of Semantic Competence ...
Herbelot, A; Copestake, Ann. - : Apollo - University of Cambridge Repository, 2021
BASE
Show details
19
現代中国語の限定語の意味指示と論理分析 ; A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese
劉 燕嵐; リュウ エンラン. - : 神奈川大学人文学会, 2021. : The Society of Humanities at Kanagawa University, 2021
BASE
Show details
20
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
BASE
Show details

Page: 1 2 3 4 5...195

Catalogues
535
53
434
0
0
9
9
Bibliographies
3.454
1
0
0
0
0
0
0
1
Linked Open Data catalogues
0
Online resources
6
0
1
0
Open access documents
257
30
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern