Ken Friis Larsen

Ken Friis Larsen

Lektor

Medlem af:

    ORCID: 0000-0002-0990-5127

    Udgivelsesår:
    Alle
    1 - 3 ud af 3Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2010
    2. Udgivet

      Generic multiset programming with discrimination-based joins and symbolic Cartesian products

      Henglein, Fritz & Larsen, Ken Friis, 2010, I: Higher-Order and Symbolic Computation. 23, 3, s. 337-370 34 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    3. 2009
    4. Udgivet

      POETS: Process-oriented Enterprise Transaction Systems

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, I: Journal of Logic and Algebraic Programming. 78, 5, s. 381-401 21 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    5. 2007
    6. Udgivet

      Kunsten at vejlede et konstruktionsprojekt

      Larsen, Ken Friis, 2007, I: Dansk Universitetspædagogisk Tidsskrift .

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    ID: 546430