Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:


    1. 2005
    2. Published

      Infinitary Combinatory Reduction Systems

      Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467 ed. p. 438-452

      Research output: Chapter in Book/Report/Conference proceedingReport chapterCommunication

    3. Published

      On Beta-Shifts Having Arithmetical Languages

      Simonsen, Jakob Grue, 2005, : Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science. 3618 ed. Springer, p. 757-768

      Research output: Chapter in Book/Report/Conference proceedingReport chapterCommunication

    4. Published

      On Computable Approximation of Infinite Objects

      Simonsen, Jakob Grue, 2005, 145 p.

      Research output: Book/ReportPh.D. thesis

    5. Published

      On Confluence of Infinitary Combinatory Reduction Systems

      Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835 ed. Berlin: Springer, p. 199-214

      Research output: Chapter in Book/Report/Conference proceedingReport chapterCommunication

    6. Published

      Specker Sequences Revisited

      Simonsen, Jakob Grue, 2005, In: Mathematical Logic Quarterly. 51(5), p. 532-540

      Research output: Contribution to journalJournal articlepeer-review

    ID: 12543