DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...25
Hits 1 – 20 of 483

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
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
6
Multiplicative Linear Logic from Logic Programs and Tilings
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
BASE
Show details
7
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
8
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
9
Stellar Resolution: Multiplicatives - for the linear logician, through examples
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
10
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
11
Stellar Resolution: Multiplicatives - for the linear logician, through examples
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
12
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
13
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
14
International Bilingual Journal of Culture, Anthropology and Linguistics ...
Pal, Patitpaban. - : Open Science Framework, 2021
BASE
Show details
15
Lenin, Ecology, and Revolutionary Russia ...
Stahnke, Ben. - : figshare, 2021
BASE
Show details
16
Lenin, Ecology, and Revolutionary Russia ...
Stahnke, Ben. - : figshare, 2021
BASE
Show details
17
Graphs, Computation, and Language ...
Ustalov, Dmitry. - : Zenodo, 2021
BASE
Show details
18
The Revised Quadrant System for the Categorization of Internet Memes ...
Her, Seong-Young. - : figshare, 2021
BASE
Show details
19
The Revised Quadrant System for the Categorization of Internet Memes ...
Her, Seong-Young. - : figshare, 2021
BASE
Show details
20
LINGUOECOLOGY: REALITIES OF THE XXI CENTURY ...
Shoshin, Serguei. - : figshare, 2021
BASE
Show details

Page: 1 2 3 4 5...25

Catalogues
Bibliographies
Linked Open Data catalogues
Online resources
Open access documents
483
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern