Algebraische Spezifikation

Abstrakter Datentyp
Signatur
Operatorsymbol
Gesetz (Axiom)
Konstruktor
Hauptkonstruktor
Projektor
Termersetzung
Vollständige Spezifikation
Eigenschaften von Termersetzungssystemen

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.