• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2021 (15)
    • 2020 (13)
    • 2019 (10)
    • 2018 (11)
    • 2017 (15)
    • 2016 (21)
    • 2015 (19)
    • 2014 (22)
    • 2013 (37)
    • 2012 (73)
    • 2011 (88)
    • 2010 (108)
    • 2009 (117)
    • 2008 (99)
    • 2007 (133)
    • 2006 (129)
    • 2005 (138)
    • 2004 (260)
    • 2003 (337)
    • 2002 (184)
    •   more
  • 
    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...194 Hits 1 – 20 of 3.866 1 Semantics with assignment variables Silk, Alex. - Cambridge, United Kingdom : Cambridge University Press, 2021 BLLDB UB Frankfurt Linguistik Show details 2 Properties and propositions : the metaphysics of higher-order logic Trueman, Robert. - Cambridge, United Kingdom : Cambridge University Press, 2021 BLLDB UB Frankfurt Linguistik Show details 3 Conceptual alternatives: Competition in language and beyond Buccola, Brian; Križ, Manuel; Chemla, Emmanuel In: Linguistics & Philosophy ; https://hal.archives-ouvertes.fr/hal-03102612 ; Linguistics & Philosophy, In press (2021) BASE Show details 4 Covariant Subtyping Applied to Semantic Predicate Calculi Babonnaud, William In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03542057 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021) BASE Show details 5 On the habitual verb "pflegen" in German: its use, origin, and development Jędrzejowski, Łukasz In: Linguistics. - Berlin [u.a.] : Mouton de Gruyter 59 (2021) 6, 1473-1530 BLLDB Show details 6 Dialogue Modeling in a Dynamic Framework ; Modélisation dynamique des dialogues Boritchev, Maria. - : HAL CCSD, 2021 In: https://hal.archives-ouvertes.fr/tel-03541628 ; Computation and Language [cs.CL]. Université de Lorraine; École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine, 2021. English. ⟨NNT : 2021LORR0199⟩ (2021) BASE Show details 7 MIC ... Kurthy, Miklos. - : Open Science Framework, 2021 BASE Show details 8 Approximation derived from a scalar exclusive particle associating with covert focus: The case of Hebrew be-sax ha-kol Orenstein, Dina; Greenberg, Yael In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 5 ; 2397-1835 (2021) BASE Show details 9 Ideal Words: A Vector-Based Formalisation of Semantic Competence ... Herbelot, A; Copestake, Ann. - : Apollo - University of Cambridge Repository, 2021 BASE Show details 10 現代中国語の限定語の意味指示と論理分析 ; A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese 劉 燕嵐; リュウ エンラン. - : 神奈川大学人文学会, 2021. : The Society of Humanities at Kanagawa University, 2021 BASE Show details 11 Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21) Butterfield, Andrew; Ekembe Ngondi, Gerard; Koutavas, Vasileios. - : Springer, 2021 Abstract: We present a translation of CCS into CSP which is correct with respect to strong bisimulation. To our knowledge this is the first such translation to enjoy a correctness property. This contributes to the unification of the CCS and CSP families of concurrent calculi, in the spirit of Hoare and He’s unification programme through Unifying Theories of Programming. To facilitate this translation, we define CCSTau, the extension of CCS with visible synchronisation actions and the hiding operator. This separation of concerns between synchronisation and hiding turns out be sufficient to obtain our correct translation. Our translation, implemented in a Haskell prototype, makes it possible to use CSP-based verifiers such as FDR to reason about trace and failure (hence may- and must-testing) preorders for CCS processes. Keyword: Calculus of Communicating Systems (CCS); Communicating Sequential Processes (CSP); Concurrency theory; Correct translation; Formal Methods; Formal Semantics URL: http://hdl.handle.net/2262/97946 http://people.tcd.ie/ekembeng http://people.tcd.ie/butrfeld https://doi.org/10.1007/978-3-030-92124-8_14 http://people.tcd.ie/vkoutav BASE Hide details 12 Ideal Words: A Vector-Based Formalisation of Semantic Competence Herbelot, A; Copestake, Ann. - : Springer Science and Business Media LLC, 2021. : KI - Kunstliche Intelligenz, 2021 BASE Show details 13 Yehoshua Bar-Hillel Pistoia-Reda, Salvatore In: APhEx24,2021Bar-Hillel (2021) BASE Show details 14 Parameterized monads in linguistics Viet, Ha Bui. - : University of Wolverhampton, 2021 BASE Show details 15 Compositional Analysis of Turkish Agent Nominalizers Atmaca, Furkan In: Proceedings of the Workshop on Turkic and Languages in Contact with Turkic; Vol 5 (2020); 16-25 ; 2641-3485 (2021) BASE Show details 16 Developments in language theory : 24th international conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020 : proceedings Savchuk, Dmytro (Herausgeber); Jonoska, Nataša (Herausgeber). - Cham : Springer, 2020 BLLDB UB Frankfurt Linguistik Show details 17 Le traitement automatique des langues en question : des machines qui comprennent le français ? Cori, Marcel. - [Paris] : Cassini, 2020 BLLDB UB Frankfurt Linguistik Show details 18 Linguistics meets literature : more on the Grammar of Emily Dickinson Zirker, Angelika; Beck, Sigrid; Bauer, Matthias. - Berlin : de Gruyter Mouton, 2020 BLLDB UB Frankfurt Linguistik Show details 19 Attitudes de se : from properties to Kripkean propositions Sternefeld, Wolfgang. - Tübingen : Stauffenburg Verlag, 2020 BLLDB UB Frankfurt Linguistik Show details 20 ‘Must’ implies ‘can’ Kurthy, Miklos; Del Prete, Fabio; Barlassina, Luca In: https://hal.archives-ouvertes.fr/hal-03080446 ; 2020 (2020) BASE Show details Page: 1 2 3 4 5...194

Mobile view All Catalogues UB Frankfurt Linguistik 557 IDS Mannheim 56 OLC Linguistik 434 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 11 Leibniz-Centre General Linguistics (ZAS) 47 Bibliographies BLLDB 3.459 BDSL 1 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 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 7 Journal directory 0 Database directory 1 Dictionary directory 0 Open access documents BASE 163 Linguistik-Repository 30 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0