Jump to contentJump 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: 

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

    Responsible for the content: