• 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,... 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 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) Abstract: International audience ; We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters. We focus here on the EF-emptiness problem: "is the set of parameter valuations for which some given location is reachable in the instantiated timed automaton empty?". This problem is well-known to be undecidable for PTAs, and so it is for our extension. Nonetheless, if we update all clocks each time we compare a clock with a parameter and each time we update a clock to a parameter, we obtain a syntactic subclass for which we can decide the EF-emptiness problem and even perform the exact synthesis of the set of rational valuations such that a given location is reachable. To the best of our knowledge, this is the first non-trivial subclass of PTAs, actually even extended with parametric updates, for which this is possible. Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems; clock regions; decidability; parametric difference bound matrix; parametric timed automata; parametric updates; timed automata URL: https://doi.org/10.23638/LMCS-17(2:13)2021 https://hal.archives-ouvertes.fr/hal-03340905 BASE Hide 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