Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:


    1. 2006
    2. Udgivet

      On modularity in infinitary term rewriting

      Simonsen, Jakob Grue, 1 jan. 2006, I: Information and Computation. 204, 6, s. 957-988 32 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    3. Udgivet

      Compositional specification of commercial contracts

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    4. Udgivet

      On Local Non-Compactness in Recursive Mathematics

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    5. Udgivet

      On Modularity in Infinitary Rewriting

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    6. Udgivet

      On the Computability of the Topological Entropy of Subshifts

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    ID: 12543