Menu

Dan Rosén

This page has not been translated into English. The content is shown in Swedish.

Publications

2019

2018

2016

2015

  • Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone (2015): TIP: Tons of Inductive Problems, in Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM), volume 9150, pages 332-336.
  • Koen Claessen, Dan Rosén (2015): SAT modulo intuitionistic implications, in Lecture Notes in Computer Science. Proceedings of the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), volume 9450, pages 622-637.
  • Dan Rosén, Nicholas Smallbone (2015): Tip: Tools for inductive provers, in Lecture Notes in Computer Science. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015, volume 9450, pages 219-232.

2014

2013

Show all publications as BibTeX
Dan Rosén
Research engineer

Email

dan.rosen@svenska.gu.se

Telephone