• Refine your search:
  • 
    Keyword:
    
    • Curry, Haskell B. (8)
    • Haskell (6)
    • Sprachlogik (6)
    • Grammatiktypen (Computerlinguistik) (3)
    • HASKELL (3)
    • Kategoriale Grammatik (3)
    • 004 (2)
    • Antinomie (2)
    • Computationelle Semantik (2)
    • Formalisierung (method.) (2)
    •   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 Page: 1 2 Hits 1 – 20 of 23 1 Query Flattening and the Nested Data Parallelism Paradigm ... Ulrich, Alexander. - : Universität Tübingen, 2019 BASE Show details 2 Query Flattening and the Nested Data Parallelism Paradigm Ulrich, Alexander. - : Universität Tübingen, 2019 BASE Show details 3 Enumeration of words in context-free languages using Haskell ... : Haskellowa implementacja wyliczania słów języków bezkontekstowych ... Wieczorek, Wojciech. - : Silesian University of Technology Press, 2017 BASE Show details 4 Agis: heuristic search library & framework in haskell Vicente Martín, Diego. - 2017 BASE Show details 5 Towards a type-theoretical account of lexical semantics Bassac, Christian; Retoré, Christian; Mery, Bruno In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2010) 2, 229-245 BLLDB OLC Linguistik Show details 6 New directions in type-theoretic grammars Muskens, Reinhard In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2010) 2, 129-136 BLLDB OLC Linguistik Show details 7 Computational semantics with functional programming Unger, Christina; Eijck, Jan van. - Cambridge [u.a.] : Cambridge Univ. Press, 2010 BLLDB UB Frankfurt Linguistik Show details 8 Modeling vs. Encoding for the Semantic Web Werner Kuhn In: http://www.semantic-web-journal.net/sites/default/files/swj35.pdf (2010) BASE Show details 9 Curry, Yablo and duality Cook, Roy T. In: Analysis. - Oxford [u.a.] : Oxford Univ. Press 69 (2009) 4, 612-620 BLLDB Show details 10 Compound formation is constrained by morphology : a reply to Seidenberg, MacDonald & Haskell Berent, Iris; Pinker, Steven In: The mental lexicon. - Amsterdam [u.a.] : John Benjamins Publishing Company 3 (2008) 2, 176-187 BLLDB OLC Linguistik Show details 11 Explicit and implicit parallel functional programming : concepts and implementation ... : Explizite und implizite parallelefunktionale Programmierung: Konzepte und Implementierung ... Berthold, Jost. - : Philipps-Universität Marburg, 2008 BASE Show details 12 Programming in Haskell Hutton, Graham. - Cambridge : Cambridge University Press, 2007 MPI für Psycholinguistik Show details 13 Separating syntax and combinatorics in categorial grammar Muskens, Reinhard In: Research on language and computation. - London : King's College 5 (2007) 3, 267-285 BLLDB OLC Linguistik Show details 14 Thirdness as self-reference in computing Tanaka-Ishii, Kumiko; Ishii, Yuichiro In: Semiotica. - Berlin ; Boston : De Gruyter Mouton 160 (2006) 1-4, 327-343 BLLDB OLC Linguistik Show details 15 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 16 Types Turner, Raymond In: Handbook of logic and language. - Amsterdam [u.a.] : Elsevier [u.a.] (1997), 535-586 BLLDB Show details 17 Absorbing dialetheia? Everett, Anthony In: Mind. - Oxford : University Press 103 (1994) 412, 413-419 BLLDB Show details 18 Polymorphic Type Inference and Abstract Data Types Laufer, Konstantin In: DTIC AND NTIS (1992) BASE Show details 19 Logico-linguistic papers Martin, Richard Milton. - Dordrecht : Foris Publ., 1981 BLLDB UB Frankfurt Linguistik Show details 20 Soutei, a Logic-Based Trust-Management System System Description Andrew Pimlott; Oleg Kiselyov In: http://okmij.org/ftp/papers/Soutei.pdf BASE Show details Page: 1 2

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