Maria Bendix Mikkelsen

Maria Bendix Mikkelsen

Instructor


Publication year:
All
  1. 2021
  2. Published

    An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

    Mikkelsen, Maria Bendix, Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (eds.). arxiv.org, p. 33-41 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 341).

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

ID: 188938934