Christoph Haase

Dieser Artikel stellt eine Methode vor, um die Eliminierung von Quantoren in der Presburger-Arithmetik zu vereinfachen.