Robert Obermeir

• Ordnungtheoretische Semantik approximativer Berechnung