• Refine your search:
  • 
    Keyword:
    
    • Kognitionsforschung (967)
    • Wissenschaftstheorie (810)
    • Computertheorie des Geistes (414)
    • Evolutionstheorie (395)
    • Module (Kognitionsforschung) (332)
    • Sprachtheorie (327)
    • Wahrheitstheorie (283)
    • Sprachphilosophie (272)
    • Metapherntheorie (259)
    • Mentale Repräsentation (233)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search 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 Eng, Boris 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 Tizón-Couto, David; Lorenz, David 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? Mélan, Claudine; Renaudié, Noëlie 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 Eng, Boris; Seiller, Thomas 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 Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 12 Verification of Program Transformations with Inductive Refinement Types Al-Sibahi, Ahmad,; Jensen, Thomas,; Dimovski, Aleksandar,; Wąsowski, Andrzej 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) Abstract: International audience ; High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backtracking, and generalized iterators. We present the design and implementation of an abstract interpretation tool, Rabit, for verifying inductive type and shape properties for transformations written in such languages. We describe how to perform abstract interpretation based on operational semantics, specifically focusing on the challenges arising when analyzing the expressive traversals and pattern matching. Finally, we evaluate Rabit on a series of transformations (normalization, desugaring, refactoring, code generators, type inference, etc.) showing that we can effectively verify stated properties. Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; abstract interpretation; Abstraction; CCS Concepts: • Theory of computation → Program verification; Control primitives; Functional constructs; Operational semantics; Program analysis; Program schemes; Semantics; static analysis; transformation languages; • Software and its engineering → Translator writing systems and compiler generators URL: https://hal.inria.fr/hal-03518825/file/Rabit_TOSEM.pdf https://hal.inria.fr/hal-03518825/document https://doi.org/10.1145/3409805 https://hal.inria.fr/hal-03518825 BASE Hide details 13 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris 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 Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 15 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 16 Parametric updates in parametric timed automata André, Étienne; Lime, Didier; Ramparison, Mathias 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

Mobile view All Catalogues UB Frankfurt Linguistik 677 IDS Mannheim 3 OLC Linguistik 342 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 11 Leibniz-Centre General Linguistics (ZAS) 6 Bibliographies BLLDB 2.708 BDSL 6 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 2 MPI for Psycholinguistics 12 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 483 Linguistik-Repository 1 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0