Sebastian Krings

Kontakt

Heinrich-Heine-Universität Düsseldorf

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

Email: krings@cs.uni-duesseldorf.de

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

Raum: 25.12.02.52

Aktuelle Lehrveranstaltungen (Wintersemester 2018)

  • undefinedVertiefung Logische Programmierung

 

 

Ehemalige Lehrveranstaltungen

Meine offenen Themen für Abschlussarbeiten finden Sie undefinedhier.

Veröffentlichungen

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

    Verantwortlich für den Inhalt: E-Mail sendenWE Informatik