• Refine your search:
  • 
    Keyword:
    
    • Computer Programming and Software (12)
    • SET THEORY (10)
    • Linguistics (9)
    • THEOREMS (9)
    • PROGRAMMING LANGUAGES (8)
    • AUTOMATA (7)
    • Computational Theory and Mathematics (7)
    • GROUPS(MATHEMATICS) (7)
    • (*COMPUTATIONAL LINGUISTICS (6)
    • 1703 Computational Theory and Mathematics (6)
    •   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 Hits 1 – 20 of 43 1 Inferring Inferences: Relational Propositions for Argument Mining Potter, Andrew In: Proceedings of the Society for Computation in Linguistics (2022) BASE Show details 2 Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars Moot, Richard. - : HAL CCSD, 2021 In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021) BASE Show details 3 Multilingual email zoning Almeida, Mariana S.C.; Rei, Ricardo; Jardim, Bruno. - : Association for Computational Linguistics (ACL), 2021 BASE Show details 4 Computational Intelligence for Life Sciences Besozzi, Daniela; Manzoni, Luca; Nobile, Marco S.. - 2020 BASE Show details 5 The Rhetorical Structure of Modus Tollens: An Exploration in Logic-Mining Potter, Andrew In: Proceedings of the Society for Computation in Linguistics (2020) BASE Show details 6 The relationship between word complexity and computational complexity in subshifts Pavlov, Ronnie; Vanier, Pascal In: https://hal.archives-ouvertes.fr/hal-02063174 ; 2019 (2019) BASE Show details 7 An Introduction to Complex Systems: Making Sense of a Changing World Tranquillo, Joseph In: Faculty Books (2019) BASE Show details 8 Calculating the optimal step in shift-reduce dependency parsing : from cubic to linear time Nederhof, Mark Jan. - 2019 BASE Show details 9 Semi-supervised User Geolocation via Graph Convolutional Networks Rahimi, Afshin; Cohn, Trevor; Baldwin, Timothy. - : Association for Computational Linguistics -ACL, 2018 BASE Show details 10 A derivational model of discontinuous parsing Nederhof, Mark Jan; Yli-Jyra, Anssi. - : Springer, 2017 BASE Show details 11 How do you develop a face detector for the unconstrained environment? San, Wai Y. K.; Chen, Shaokang; Wiliem, Arnold. - : IEEE Computer Society, 2017 BASE Show details 12 Continuous representation of location for geolocation and lexical dialectology using mixture density networks Rahimi, Afshin; Baldwin, Timothy; Cohn, Trevor. - : Association for Computational Linguistics, 2017 BASE Show details 13 Model of the Dynamic Construction Process of Texts and Scaling Laws of Words Organization in Language Systems Li, Shan; Ma, Qianli D. Y.; Ivanov, Plamen Ch.. - : Public Library of Science, 2016 BASE Show details 14 A short proof that O2 is an MCFL Nederhof, Mark Jan. - : Association for Computational Linguistics, 2016 BASE Show details 15 Ambiguity of $\omega$-Languages of Turing Machines Finkel, Olivier In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-00735050 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3:12), pp.1-18 (2014) BASE Show details 16 From Whorf to Montague : explorations in the theory of language Seuren, Pieter A. M.. - Oxford : Oxford Univ. Press, 2013 BLLDB UB Frankfurt Linguistik Show details 17 The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics Retoré, Christian In: 19th International Conference on Types for Proofs and Programs (TYPES 2013) ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-01009838 ; TYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩ (2013) BASE Show details 18 Some proof theoretical remarks on quantification in ordinary language Abrusci, Michele; Retoré, Christian In: https://hal.archives-ouvertes.fr/hal-00779223 ; 2013 (2013) BASE Show details 19 Type-theoretical natural language semantics: on the system F for meaning assembly Retoré, Christian In: TYPES 2013 book of abstracts ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-00799685 ; TYPES 2013, Apr 2013, Toulouse, France. pp.64--65 (2013) BASE Show details 20 Elephant: Sequence labeling for word and sentence segmentation Evang, Kilian; Basile, Valerio; Chrupała, Grzegorz. - : Association for Computational Linguistics (ACL), 2013. : country:USA, 2013. : place:Stroudsburg, 2013 BASE Show details Page: 1 2 3

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