Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:

    ORCID: 0000-0002-3488-9392

    Publication year:
    All
    1 - 5 out of 5Page size: 10
    1. 2006
    2. Published

      On modularity in infinitary term rewriting

      Simonsen, Jakob Grue, 1 Jan 2006, In: Information and Computation. 204, 6, p. 957-988 32 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    3. Published

      Compositional specification of commercial contracts

      Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    4. Published

      On Local Non-Compactness in Recursive Mathematics

      Simonsen, Jakob Grue, 2006, In: Mathematical Logic Quarterly. 52/4, p. 323-330

      Research output: Contribution to journal › Journal article › Research › peer-review

    5. Published

      On Modularity in Infinitary Rewriting

      Simonsen, Jakob Grue, 2006, In: Information and Computation. 204(6), p. 957-988

      Research output: Contribution to journal › Journal article › Research › peer-review

    6. Published

      On the Computability of the Topological Entropy of Subshifts

      Simonsen, Jakob Grue, 2006, In: Discrete Mathematics and Theoretical Computer Science. 8, p. 83-96

      Research output: Contribution to journal › Journal article › Research › peer-review

    ID: 12543