Zum Inhalt springenZur Suche springen

Sebastian Krings

Kontakt

Heinrich-Heine-Universität Düsseldorf

Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Email: 

Tel.: +49 (211) 81-12635
Fax: +49 (211) 81-10712

Raum: 25.12.02.52

Ehemalige Lehrveranstaltungen

Meine offenen Themen für Abschlussarbeiten finden Sie undefinedhier.

Veröffentlichungen

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

    Verantwortlichkeit: