Hoppa till huvudinnehåll

Dan Rosén

Dan Rosén slutade arbeta hos oss 2020-06-13.

Publikationer BibTeX

2019 BibTeX

2018 BibTeX

2016 BibTeX

2015 BibTeX

  • 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 BibTeX
  • 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 BibTeX
  • 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 BibTeX

2014 BibTeX

2013 BibTeX

Profile picture for user xrdani@gu.se

Tjänst

Forskningsingenjör