DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...163
Hits 1 – 20 of 3.243

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
ΟΙ ΓΛΩΣΣΕΣ ΤΟΥ ΚΟΣΜΟΥ - ΟΙ ΚΟΣΜΟΙ ΤΗΣ ΓΛΩΣΣΑΣ ...
καρπούζος, αλέξης. - : figshare, 2022
BASE
Show details
3
ΟΙ ΓΛΩΣΣΕΣ ΤΟΥ ΚΟΣΜΟΥ - ΟΙ ΚΟΣΜΟΙ ΤΗΣ ΓΛΩΣΣΑΣ ...
καρπούζος, αλέξης. - : figshare, 2022
BASE
Show details
4
Cyborg werden: Möglichkeitshorizonte in feministischen Theorien und Science Fictions
Fink, Dagmar. - : transcript Verlag, 2022. : DEU, 2022. : Bielefeld, 2022
In: Gender Studies ; 291 (2022)
BASE
Show details
5
The Routledge handbook of translation and cognition
Jakobsen, Arnt Lykke (Herausgeber); Alves, Fábio (Herausgeber). - New York : Routledge, 2021
BLLDB
UB Frankfurt Linguistik
Show details
6
Fates of the performative : from the linguistic turn to the new materialism
Nealon, Jeffrey T.. - London : University of Minnesota Press, 2021
BLLDB
UB Frankfurt Linguistik
Show details
7
Encounters with Aristotelian philosophy of mind
Gregorić, Pavel (Herausgeber); Fink, Jakob L. (Herausgeber). - London : Routledge, 2021
BLLDB
UB Frankfurt Linguistik
Show details
8
Variables are valuable: making a case for deductive modeling
In: Linguistics. - Berlin [u.a.] : Mouton de Gruyter 59 (2021) 5, 1279-1309
BLLDB
Show details
9
Are Socio-Affective Impairments in Ataxia Related to Language and Processing Speed Deficits?
In: ISSN: 2375-1916 ; Medical Research Archives ; https://halshs.archives-ouvertes.fr/halshs-03532428 ; Medical Research Archives, KEI Journals, 2021, 9 (10), ⟨10.18103/mra.v9i10.2563⟩ (2021)
BASE
Show details
10
Multiplicative Linear Logic from Logic Programs and Tilings
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
BASE
Show details
11
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
12
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
13
Stellar Resolution: Multiplicatives - for the linear logician, through examples
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
14
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
15
Stellar Resolution: Multiplicatives - for the linear logician, through examples
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
16
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
17
A Hierarchical Computational Framework for Social Interaction Understanding: Interactiveness, Shared Attention, Gaze Communication and Triadic Belief Dynamics
Fan, Lifeng. - : eScholarship, University of California, 2021
BASE
Show details
18
International Bilingual Journal of Culture, Anthropology and Linguistics ...
Pal, Patitpaban. - : Open Science Framework, 2021
BASE
Show details
19
Lenin, Ecology, and Revolutionary Russia ...
Stahnke, Ben. - : figshare, 2021
BASE
Show details
20
Lenin, Ecology, and Revolutionary Russia ...
Stahnke, Ben. - : figshare, 2021
BASE
Show details

Page: 1 2 3 4 5...163

Catalogues
677
3
342
0
0
11
6
Bibliographies
2.708
6
0
0
0
0
0
2
12
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
483
1
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern