Photo of Mads Rosendahl
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

1989 …2016
If you made any changes in Pure these will be visible here soon.

Research Output 1989 2016

Filter
Article in proceedings
2015

Probabilistic Output Analysis by Program Manipulation

Rosendahl, M. & Kirkeby, M. H. 29 Sep 2015 Electronic Proceedings in Theoretical Computer Science. Vol. 194, p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
2008

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation

Gallagher, J. P. & Rosendahl, M. 2008 Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Cervesato, I., Veith, H. & Voronkov, A. (eds.). Springer, Vol. 5330, p. 682-696 15 p. (Lecture Notes in Computer Science, Vol. 5330).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review