• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2019 (1)
    • 2018 (2)
    • 2017 (2)
    • 2012 (1)
    • 2010 (1)
    • 1997 (1)
    • 1994 (1)
    • 1990 (1)
  • 
    Medium:
    
    • Online (6)
    • Print (4)
  • 
    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 – 10 of 10 1 Mechanized metatheory revisited Miller, Dale In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-01884210 ; Journal of Automated Reasoning, Springer Verlag, 2019, 63 (3), pp.625-665. ⟨10.1007/s10817-018-9483-3⟩ (2019) BASE Show details 2 Mechanized Metatheory Revisited: An Extended Abstract (Invited Paper) Miller, Dale. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. : LIPIcs - Leibniz International Proceedings in Informatics. 22nd International Conference on Types for Proofs and Programs (TYPES 2016), 2018 BASE Show details 3 Mechanized Metatheory Revisited: An Extended Abstract (Invited Paper) ... Miller, Dale. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2018 BASE Show details 4 Linear logic as a logical framework Miller, Dale In: Proceedings of Structures and Deduction (SD) 2017 ; https://hal.archives-ouvertes.fr/hal-01615664 ; Proceedings of Structures and Deduction (SD) 2017, Sep 2017, Oxford, United Kingdom (2017) BASE Show details 5 Continuation passing style for effect handlers Hillerström, Daniel; Lindley, Sam; Atkey, Robert. - : Dagstuhl Publishing, 2017 BASE Show details 6 A Two-Level Logic Approach to Reasoning About Computations Gacek, Andrew; Miller, Dale; Nadathur, Gopalan In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 49 (2012) 2, 241-273 OLC Linguistik Show details 7 A Framework for Proof Systems Nigam, Vivek; Miller, Dale In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 45 (2010) 2, 157-188 OLC Linguistik Show details 8 Linear logic as logic programming : an abstract Miller, Dale In: Logical aspects of computational linguistics (Berlin, 1997), p. 63-67 MPI für Psycholinguistik Show details 9 Logic programming in a fragment of intuitionistic linear logic Hodas, Joshua S.; Miller, Dale In: Information and computation. - Amsterdam : Elsevier 110 (1994) 2, 327-365 BLLDB Show details 10 Extending Definite Clause Grammars With Scoping Constructs Pareschi, Remo; Miller, Dale In: Technical Reports (CIS) (1990) BASE Show details

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 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 1 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 6 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0