ITU

Theoretical Computer Science

  1. 2010
  2. Published

    Domain theoretic models of parametric polymorphism

    Møgelberg, R. E., Birkedal, L. & Petersen, R. L., 2010, In: Theoretical Computer Science. 388, 1-3, p. 152-172

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Published

    The category-theoretic solution of recursive metric-space equations

    Birkedal, L., Støvring, K. & Thamsborg, J. J., 2010, In: Theoretical Computer Science. 411, 47, p. 4102-4122

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  4. 2008
  5. Published

    Fast and compact regular expression matching

    Bille, P. & Farach-Colton, M., 28 Dec 2008, In: Theoretical Computer Science. 409, 3, p. 486-496 11 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Previous 1 2 Next

ID: 80427