Startseite
Impressum
Benutzerspezifische Werkzeuge
🔒
-
A
+
English
Direkt zum Inhalt
|
Direkt zur Navigation
Christian-Albrechts-Universität zu Kiel
Technische Fakultät
Institut für Informatik
Arbeitsgruppe Rechnergestützte Programmentwicklung (bis 31.03.2018)
Team
Dipl.-Math. Insa Stucke
Forschungsinteressen
≡
Arbeitsgruppe Rechnergestützte Programmentwicklung (bis 31.03.2018)
Navigation
Prof. Dr. Rudolf Berghammer
Forschung
Lehre (Archiv)
Team
Prof. Dr. Rudolf Berghammer
Dipl.-Math. Insa Stucke
Forschungsinteressen
Publikationen
Info
Forschungsinteressen
Relationenalgebra
Graphalgorithmen
Softwareverifikation
Automatische und interaktive Theorembeweiser