• Refine your search:
  • 
    Keyword:
    
    • Sign Languages (13.052)
    • Corpus (13.041)
    • Gebärdensprachen (13.033)
    • Korpus (13.020)
    • Deutsche Gebärdensprache (13.018)
    • German Sign Language (13.017)
    • FOS Languages and literature (12.570)
    • Linguistics (10.575)
    • Philology. Linguistics (2.839)
    • P1-1091 (2.819)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Online (54.791)
  • 
    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...2.740 Hits 1 – 20 of 54.791 1 Leza, Sungu, and Samba- Digital Humanities and Early Bantu History Fourshey, Catherine Cymone In: Faculty Journal Articles (2022) BASE Show details 2 Indigenous Language Revitalization: Success, Sustainability, and the Future of Human Culture Lewis, Grace In: Capstone Showcase (2022) BASE Show details 3 Language and identity: past concerns, future directions McEntee-Atalianis, Lisa. - : De Gruyter, 2022 BASE Show details 4 The representation of Islam and Islamic culture in realist and magical realist contemporary literature: a cultural critique of Western representation of Islam Al-Abdallah, Norah T. A. S. A.. - 2022 BASE Show details 5 International & supranational organisations McEntee-Atalianis, Lisa. - : Routledge, 2022 BASE Show details 6 The Ainu in documentary films: promiscuous iconography and the absent image Centeno Martin, Marcos Pablo. - : Blackwell, 2022 BASE Show details 7 Current challenges of language policy and planning for international organisations McEntee-Atalianis, Lisa. - 2022 BASE Show details 8 Enjoyment Dewaele, Jean-Marc. - : Routledge, 2022 BASE Show details 9 Academic texts in motion: a text history study of co-authorship interactions in writing Khuder, B.; Petric, Bojana. - : John Benjamins Publishing, 2022 BASE Show details 10 Helping EAL academics navigate asymmetrical power relations in co-authorship: research-based materials for ERPP workshops Khuder, B.; Petric, Bojana. - : Equinox, 2022 BASE Show details 11 Defining ‘Normal’: methodological issues in Aphasia and intelligence research Lorch, Marjorie. - : Elsevier, 2022 BASE Show details 12 Research on emotions in second language acquisition: reflections on its birth and unexpected growth Dewaele, Jean-Marc. - : Bloomsbury, 2022 BASE Show details 13 Research into multilingualism and emotions Dewaele, Jean-Marc. - : Mouton De Gruyter, 2022 BASE Show details 14 The militant historian: the concept of history in the work of Alain Badiou Purcell, Kerry William. - 2022 BASE Show details 15 The presence of an absence: framing capital in Mercado de futuros (Mercedes Álvarez, 2011), La mano invisible (David Macián, 2016) and Cerca de tu casa (Eduard Cortés, 2016) Balibrea Enriquez, Mari Paz. - : Intellect Books Ltd., 2022 BASE Show details 16 Understanding the Learning Experiences of Highly Educated refugees from Iraq and Syria en route to Economic Integration in Luxembourg Vesdrevanis, Anne Marie. - 2022 BASE Show details 17 From FreEM to D'AlemBERT ; From FreEM to D'AlemBERT: a Large Corpus and a Language Model for Early Modern French Gabay, Simon; Ortiz Suarez, Pedro; Bartz, Alexandre... In: Proceedings of the 13th Language Resources and Evaluation Conference ; https://hal.inria.fr/hal-03596653 ; Proceedings of the 13th Language Resources and Evaluation Conference, European Language Resources Association, Jun 2022, Marseille, France (2022) BASE Show details 18 An Overview of Indian Spoken Language Recognition from Machine Learning Perspective Dey, Spandan; Sahidullah, Md; Saha, Goutam In: ISSN: 2375-4699 ; EISSN: 2375-4702 ; ACM Transactions on Asian and Low-Resource Language Information Processing ; https://hal.inria.fr/hal-03616853 ; ACM Transactions on Asian and Low-Resource Language Information Processing, ACM, In press, ⟨10.1145/3523179⟩ (2022) BASE Show details 19 The AMAR mechanism: nominal expressions in the Bantu languages are shaped by apposition and reintegration. Van De Velde, Mark In: ISSN: 0024-3949 ; EISSN: 1613-396X ; Linguistics ; https://halshs.archives-ouvertes.fr/halshs-03433014 ; Linguistics, De Gruyter, In press, ⟨10.1515/ling-2020-0132⟩ (2022) BASE Show details 20 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022) Abstract: Technically speaking, the transcendental syntax is about designing logics with a computational foundation. It suggests a new framework for proof theory where logic (proofs, formulas, truth, .) is no more primitive but computation is. All the logical entities and activities will be presented as formatting/structuring on a given model of computation which should be as general, simple and natural as possible. The selected ground for logic in the transcendental syntax is a model of computation I call "stellar resolution" which is basically a logic-free reformulation of Robinson's first-order clausal resolution with a dynamics related to tile systems. An initial goal of the transcendental syntax is to retrieve linear logic from this new framework. In particular, this model naturally encodes cut-elimination for proof-structures. By using an idea of ``interactive typing'' reminiscent of realisability theory, it is possible to design formulas/types generalising the connectives of linear logic. Thanks to interactive typing, we are able to reach a semantic-free space where correctness criteria are seen as tests (as in unit testing or model checking) certifying logical correctness, thus allowing an effective use of logical entities. Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory; Geometry of Interaction; Linear Logic; Models of Computation; Realizability semantics; Semantics URL: https://hal.archives-ouvertes.fr/hal-02977750v7/file/main.pdf https://hal.archives-ouvertes.fr/hal-02977750 https://hal.archives-ouvertes.fr/hal-02977750v7/document BASE Hide details Page: 1 2 3 4 5...2.740

Mobile view All Catalogues UB Frankfurt Linguistik 127 IDS Mannheim 6 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 4 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 3 Bibliographies BLLDB 63 BDSL 0 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 14 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 18 Linked Open Data catalogues Annohub 12 Online resources Link directory 729 Journal directory 215 Database directory 61 Dictionary directory 23 Open access documents BASE 53.728 Linguistik-Repository 110 IDS Publikationsserver 0 Online dissertations 2 Language Description Heritage 0