Werkzeuge für die Vollständigkeit der Kleene-Algebra mit Hypothesen

In dieser Arbeit werden Werkzeuge entwickelt, um die Vollständigkeit von Kleene-Algebra-Erweiterungen mit verschiedenen Hypothesen zu beweisen. Der Schlüsselbegriff ist die Reduktion, die es ermöglicht, die Vollständigkeit einer Kleene-Algebra mit Hypothesen auf die Vollständigkeit der Kleene-Algebra ohne Hypothesen zurückzuführen.