• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (3)
    • Book (1)
    • Miscellaneous (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 – 5 of 5 1 Practical Subtyping for System F with Sized (Co-)Induction Lepigre, Rodolphe; Raffalli, Christophe In: https://hal.archives-ouvertes.fr/hal-01289760 ; 2017 (2017) BASE Show details 2 A Framework for Defining Logical Frameworks Honsell, Furio; Lenisa, Marina; Liquori, Luigi In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://hal.inria.fr/hal-01148312 ; Electronic Notes in Theoretical Computer Science, Elsevier, 2007, In Computation, Meaning and Logic. ENTCS, Special issue, dedicated to Gordon D. Plotkin, on the occasion of his 60th birthday, 172, pp.399-436. ⟨10.1016/j.entcs.2007.02.014⟩ ; Elsevier (2007) BASE Show details 3 Peter, the Language that does not Exist. ; Peter, le langage qui n’existe pas. Liquori, Luigi. - : HAL CCSD, 2007 In: https://hal.inria.fr/tel-01148503 ; Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007 (2007) BASE Show details 4 Refactoring via database representation Péter Diviánszky; Rozália Szabó-nacsa; Zoltán Horváth In: http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_divip.pdf (2004) BASE Show details 5 Compiling Nested Data-Parallel Programs for Shared-Memory Multiprocessors Siddhartha Chatterjee In: ftp://ftp.cs.unc.edu/pub/users/sc/papers/toplas-vcode.pdf (1993) 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 5 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0