Torben Ægidius Mogensen

Torben Ægidius Mogensen

Associate Professor

Member of:


    1. 1999
    2. Published

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

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

      Research output: Book/ReportAnthologypeer-review

    3. Published

      Basics of Compiler Design, Kursusbog 5 Dat1E

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

      Research output: Book/ReportBook

    4. Published

      Basics of Compiler Design, Kususbog 6 til Dat1E

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

      Research output: Book/ReportBook

    5. Published

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

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

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    6. Published

      Tractable Constraints in Finite Semilattices

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

      Research output: Contribution to journalJournal articlepeer-review

    ID: 3086