Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:


    1. 1999
    2. Udgivet

      Basics of Compiler Design, Kursusbog 5 Dat1E

      Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 s.

      Publikation: Bog/antologi/afhandling/rapportBog

    3. Udgivet

      Basics of Compiler Design, Kususbog 6 til Dat1E

      Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 s.

      Publikation: Bog/antologi/afhandling/rapportBog

    4. Udgivet

      Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

      Mogensen, Torben Ægidius, 1999, publisher. s. 19-24

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    5. Udgivet

      Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706

      Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.

      Publikation: Bog/antologi/afhandling/rapportAntologifagfællebedømt

    6. Udgivet

      Tractable Constraints in Finite Semilattices

      Rehof, N. J. & Mogensen, Torben Ægidius, 1999, I: Science of Computer Programming. Vol.35, no.2-3, November, s. 191-221

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    ID: 3086