• Refine your search:
  • 
    Keyword:
    
    • Sprache, Linguistik (2)
    • FOS Computer and information sciences (1)
    • Logic in Computer Science cs.LO (1)
    • Mündlichkeit / Schriftlichkeit (1)
    • Programming Languages cs.PL (1)
    • Sprachphilosophie (1)
    • Unification algorithms (1)
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (1)
    • [INFO.INFO-PL]Computer Science [cs] / Programming Languages [cs.PL] (1)
    • algorithme (1)
    •   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 Hits 1 – 9 of 9 1 Ce dont on ne peut parler, il faut l'écrire : langues et langages Dowek, Gilles. - Paris : Le Pommier, 2019 BLLDB UB Frankfurt Linguistik Show details 2 A Simple Proof that Super-Consistency Implies Cut Elimination. Dowek, Gilles; Hermant, Olivier In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 53 (2012) 4, 439-456 OLC Linguistik Show details 3 Introduction to the Theory of Programming Languages Dowek, Gilles [Verfasser]; Lévy, Jean-Jacques [Verfasser]. - London : Springer London, 2011 DNB Subject Category Language Show details 4 Introduction to the Theory of Programming Languages Dowek, Gilles [Verfasser]; Lévy, Jean-Jacques [Verfasser]. - Guildford, Surrey : Springer London, 2011 DNB Subject Category Language Show details 5 Preface Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 45 (2010) 2, 89 OLC Linguistik Show details 6 Les ingrédients des algorithmes Dowek, Gilles; Viéville, Thierry; Archambault, Jean-Pierre... In: ISSN: 2270-6224 ; Interstices ; https://hal.inria.fr/hal-01350276 ; Interstices, INRIA, 2010 ; https://interstices.info/jcms/c_43821/les-ingredients-des-algorithmes (2010) BASE Show details 7 Rewriting Logic Semantics of a Plan Execution Language ... Dowek, Gilles; Muñoz, César; Rocha, Camilo. - : arXiv, 2010 BASE Show details 8 Permissive nominal terms Dowek, Gilles; Gabbay, Murdoch; Mulligan, Dominic In: https://hal.inria.fr/inria-00335115 ; [Research Report] RR-6682, INRIA. 2008 (2008) BASE Show details 9 Theorem Proving Modulo Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 31 (2003) 1, 33-72 OLC Linguistik Show details

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