• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2022 (1)
    • 2021 (6)
    • 2017 (1)
    • 2014 (3)
    • 2013 (3)
    • 2011 (2)
    • 2009 (3)
    • 2007 (1)
    • 2002 (1)
    • 1993 (2)
    •   more
  • 
    Medium:
    
    • Online (32)
  • 
    Type:
    
    • Miscellaneous (32)
  • 
    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 32 1 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022) BASE Show details 2 Multiplicative Linear Logic from Logic Programs and Tilings Eng, Boris; Seiller, Thomas In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021) BASE Show details 3 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 4 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 5 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 6 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 7 A Many Small Programs (MSP) Approach in a CS1 Course Allen, Joe Michael. - : eScholarship, University of California, 2021 BASE Show details 8 Copredication in homotopy type theory Bahramian, Hamidreza; Nematollahi, Narges; Sabry, Amr In: https://hal.archives-ouvertes.fr/hal-01628150 ; 2017 (2017) BASE Show details 9 Seeking student voices in collaborative spaces : a case study of basic writers interacting in Blackboard, Facebook and the classroom McArdle, Casey Rian. - 2014 BASE Show details 10 Guiding learners to near native fluency in English through an adaptive programme of activities which includes phoneme and prosody analysis. Lawson, Alistair; Lapok, Paul; Attridge, Ann. - 2014 BASE Show details 11 Finger placement correction for static gesture recognition in American Sign Language Cordova, Veronica Yenquenida Flamenco; NC DOCKS at Western Carolina University. - 2014 BASE Show details 12 The creation and utilization of a physical science tablet application in the primary classroom Erhart, Sarah Elizabeth. - 2013 BASE Show details 13 Query Segmentation For E-Commerce Sites Gong, Xiaojing. - 2013 BASE Show details 14 Compositionality through Projection Leventeas, Dimitrios. - : Eidgenössische Technische Hochschule Zürich, Department of Computer Science, 2013 BASE Show details 15 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 16 Software forensics: extending authorship analysis techniques to computer programs Sallis, Philip; MacDonell, Stephen; Gray, Andrew. - : University of Otago, 2011 BASE Show details 17 Digital students in the democratic classroom : using technology to enhance critical pedagogy in first-year composition Skurat Harris, Heidi A. In: CardinalScholar 1.0 (2009) BASE Show details 18 λμ-calculus and Λμ-calculus: a Capital Difference Herbelin, Hugo; Saurin, Alexis In: https://hal.inria.fr/inria-00524942 ; 2009 (2009) BASE Show details 19 Algebraic types and pattern matching in the logical language of the Why verification platform Paskevich, Andrei In: https://hal.inria.fr/inria-00439232 ; [Research Report] RR-7128, INRIA. 2009 (2009) BASE Show details 20 Growing a Domain Specific Language with Split Extensions Badouel, Eric; Tonga, Marcel In: https://hal.inria.fr/inria-00175805 ; [Research Report] RR-6314, INRIA. 2007 (2007) BASE Show details Page: 1 2

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 32 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0