• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2020 (1)
    • 2018 (1)
    • 2015 (3)
    • 2013 (2)
    • 2011 (5)
    • 2010 (5)
    • 2009 (1)
    • 2007 (2)
    • 2006 (3)
  • 
    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 Hits 1 – 20 of 23 1 $O_n$ is an $n$-MCFL ... Gebhardt, Kilian; Meunier, Frédéric; Salvati, Sylvain. - : arXiv, 2020 BASE Show details 2 On is an n-MCFL Gebhardt, Kilian; Meunier, Frédéric; Salvati, Sylvain In: https://hal.archives-ouvertes.fr/hal-01771670 ; [Research Report] Université de Lille, INRIA, CRIStAL CNRS. 2018 (2018) BASE Show details 3 A logical approach to grammar description Clément, Lionel; Kirman, Jérôme; Salvati, Sylvain In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01251222 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2015, Special issue on High-level methodologies for grammar engineering, 3 (1), pp. 87-143 ⟨10.15398/jlm.v3i1.94⟩ ; http://jlm.ipipan.waw.pl/index.php/JLM/article/view/94/95 (2015) BASE Show details 4 Non-linear Second order Abstract Categorial Grammars and deletion Salvati, Sylvain In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015) BASE Show details 5 Lambda-calculus and formal language theory Salvati, Sylvain. - : HAL CCSD, 2015 In: https://hal.archives-ouvertes.fr/tel-01253426 ; Computer Science [cs]. Université de Bordeaux, 2015 (2015) BASE Show details 6 On the Complexity of Free Word Orders Kirman, Jérôme; Salvati, Sylvain In: Formal Grammar ; https://hal.inria.fr/hal-00945516 ; Formal Grammar, 2013, Tuebingen, Germany (2013) BASE Show details 7 The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars Kanazawa, Makoto; Salvati, Sylvain In: Formal Grammar ; https://hal.inria.fr/hal-00945526 ; Formal Grammar, 2013, Tuebingen, Germany (2013) BASE Show details 8 Minimalist Grammars in the Light of Logic Salvati, Sylvain In: https://hal.inria.fr/inria-00563807 ; [Research Report] 2011, pp.39 (2011) BASE Show details 9 A Datalog recognizer for almost affine lambda-CFGs Bourreau, Pierre; Salvati, Sylvain In: Mathematics of Language ; https://hal.archives-ouvertes.fr/hal-00740701 ; Mathematics of Language, Sep 2011, Nara, Japan. pp.21-38, ⟨10.1007/978-3-642-23211-4⟩ (2011) BASE Show details 10 Krivine machines and higher-order schemes Salvati, Sylvain; Walukiewicz, Igor In: https://hal.inria.fr/inria-00589407 ; [Research Report] 2011, pp.17 (2011) BASE Show details 11 Well-Nestedness Properly Subsumes Strict Derivational Minimalism Kanazawa, Makoto; Michaelis, Jens; Salvati, Sylvain... In: LACL 2011 ; Logical Aspects of Computational Linguistics - 6th international conference ; https://hal.archives-ouvertes.fr/hal-00959629 ; Logical Aspects of Computational Linguistics - 6th international conference, 2011, Montpellier, France. pp.112-128 (2011) BASE Show details 12 Krivine machines and higher-order schemes Salvati, Sylvain; Walukiewicz, Igor In: Krivine Machines and Higher-Order Schemes ; ICALP ; https://hal.archives-ouvertes.fr/hal-00570017 ; ICALP, 2011, Switzerland. pp.162-173 (2011) BASE Show details 13 On the membership problem for non-linear abstract categorial grammars Salvati, Sylvain In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2010) 2, 163-183 BLLDB OLC Linguistik Show details 14 A faithful representation of Non-Associative Lambek grammars in abstract categorial grammars Salvati, Sylvain; Retoré, Christian In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2010) 2, 185-200 BLLDB OLC Linguistik Show details 15 A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars Retoré, Christian; Salvati, Sylvain In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/inria-00409557 ; Journal of Logic, Language and Information, Springer Verlag, 2010, 19 (2), pp.185--200 (2010) BASE Show details 16 The Copying Power of Well-Nested Multiple Context-Free Grammars Makoto, Kanazawa; Salvati, Sylvain In: Language and Automata Theory and Applications ; https://hal.inria.fr/inria-00525077 ; Language and Automata Theory and Applications, 2010, Trier, Germany. pp.344-355, ⟨10.1007/978-3-642-13089-2_29⟩ ; http://www.springerlink.com/content/b8w7r53761614lk7/ (2010) BASE Show details 17 On the Membership Problem for Non-Linear Abstract Categorial Grammars Salvati, Sylvain In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/inria-00446785 ; Journal of Logic, Language and Information, Springer Verlag, 2010, 19 (2), pp.163-183. ⟨10.1007/s10849-009-9110-0⟩ ; http://www.springerlink.com/content/f3g38386p568n7j4/ (2010) BASE Show details 18 Recognizability in the Simply Typed Lambda-Calculus Salvati, Sylvain In: 16th Workshop on Logic, Language, Information and Computation ; https://hal.inria.fr/inria-00412654 ; 16th Workshop on Logic, Language, Information and Computation, 2009, Tokyo, Japan (2009) BASE Show details 19 An Automata-Theoretic Approach to Minimalism Kobele, Gregory; Retoré, Christian; Salvati, Sylvain In: An Automata-Theoretic Approach to Minimalism ; Model Theoretic Syntax at 10 ; https://hal.archives-ouvertes.fr/hal-00306226 ; Model Theoretic Syntax at 10, Aug 2007, Ireland. pp.73--82 (2007) BASE Show details 20 Non-Associative Categorial Grammars and Abstract Categorial Grammars Retoré, Christian; Salvati, Sylvain In: Non-Associative Categorial Grammars and Abstract Categorial Grammars ; New Directions in Type Theoretic Grammars ; https://hal.archives-ouvertes.fr/hal-00306393 ; New Directions in Type Theoretic Grammars, Aug 2007, Ireland. pp.51--58 (2007) BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 2 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 2 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 21 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0