This page in English
SucheEntwicklung von Graphenalgorithmen in formalen Kalkülen
(ruhend)
| Projektstart: | 01.01.2001 |
| Projektende: | 31.12.2002 |
| Laufzeit: | 01.01.2001 - 31.12.2002 |
| Projektträger: | Universität Augsburg |
| Projektverantwortung vor Ort: | Prof. Dr. Bernhard Möller (Leiter) |
| Beteiligte Wissenschaftler / Kooperationen: |
Prof. Dr. Rudolf Berghammer (Universität zu Kiel) Prof. Dr. Marcelo F. Frias (Universidad de Buenos Aires) und andere |
| Publikationen: | Link zur Publikationsliste |
Zusammenfassung
Projektziel war ein praktikabler algebraischer Kalkül, der besonders zur Entwicklung generischer, also hochgradig wiederverwendbarer, Graphenalgorithmen aus ihren formalen Spezifikationen geeignet ist. Es zeigte sich, daß neben dem klassischen Relationenkalkül vor allem die Kleene-Algebra mit Vor- und Nachbereichsoperator hervorragend geeignet ist.