• Refine your search:
  • 
    Keyword:
    
    • type-logical grammar (4)
    • Categorial grammar (2)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (2)
    • [INFO.INFO-TT]Computer Science [cs] / Document and Text Processing (2)
    • ACM: F.: Theory of Computation / F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.2: Grammars and Other Rewriting Systems (1)
    • ACM: I.: Computing Methodologies / I.2: ARTIFICIAL INTELLIGENCE / I.2.3: Deduction and Theorem Proving (1)
    • ACM: I.: Computing Methodologies / I.2: ARTIFICIAL INTELLIGENCE / I.2.7: Natural Language Processing (1)
    • Discourse Representation Theory (1)
    • Lambek calculus (1)
    • [INFO.INFO-AI]Computer Science [cs] / Artificial Intelligence [cs.AI] (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2021 (1)
    • 2015 (1)
    • 2010 (2)
  • 
    Medium
  • 
    Type:
    
    • Article (3)
    • Book (1)
  • 
    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 Hits 1 – 4 of 4 1 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) Keyword: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; computational linguistics; grammaires catégorielles; linguistique informatique; proof theory; théorie de la démonstration; type-logical grammar URL: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 https://hal-lirmm.ccsd.cnrs.fr/tel-03452731/document https://hal-lirmm.ccsd.cnrs.fr/tel-03452731/file/hdr_short.pdf BASE Hide details 2 Comparing and evaluating extended Lambek calculi Moot, Richard In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015) BASE Show details 3 Wide-Coverage French Syntax and Semantics using Grail Moot, Richard In: TALN 2010 ; https://hal.inria.fr/inria-00494064 ; TALN 2010, Jul 2010, Montréal, Canada (2010) BASE Show details 4 Semi-automated Extraction of a Wide-Coverage Type-Logical Grammar for French Moot, Richard In: TALN 2010 ; https://hal.inria.fr/inria-00494062 ; TALN 2010, Jul 2010, Montréal, Canada (2010) BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 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 0 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 4 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0