Jump to content Jump to search

Sebastian Krings

Contact Information

Heinrich-Heine-Universität Düsseldorf

Institut für Informatik

Universitätsstraße 1
D-40225 Düsseldorf

 

Email: krings(at)cs.uni-duesseldorf.de

Phone: +49 (211) 81-12635
Fax: +49 (211) 81-10712

Room: 25.12.02.52

Past Courses

You can find proposed theses undefinedhere.

Publications

2024

2021

2020

2019

2018

2017

  • plspec - A Specification Language for Prolog Data.
    In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, Technical Report, 499, University of Würzburg, 2017.

    2016

    2015

    2014

    2013