Jens Otten

Norwegian version of this page
Username
Visiting address Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO

More information/publications/software at http://jens-otten.de/uio.

Publications

View all works in Cristin

  • Benzmüller, Christoph & Otten, Jens (2018). Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics. CEUR Workshop Proceedings.  ISSN 1613-0073.  2095
  • Benzmüller, Christoph & Otten, Jens (2016). Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics. CEUR Workshop Proceedings.  ISSN 1613-0073.  1770

View all works in Cristin

Published Dec. 9, 2016 10:33 AM - Last modified Apr. 14, 2017 3:01 AM