Nächste Seite:
Wiederholung: Terme
Aufwärts:
Deklarative (= fortgeschrittene) Programmierung
Vorherige Seite:
Übungen KW11
Daten
Unterabschnitte
Wiederholung: Terme
Beispiele: Signatur, Terme
Algebraische Datentypen
Datentyp mit mehreren Konstruktoren
Rekursive Datentypen
Bezeichnungen für Teilterme
Operationen mit (Teil)Termen
Operationen mit Variablen in Termen
Termersetzungssysteme
Termersetzungssysteme als Programme
Übung Terme, TRS
Johannes Waldmann 2013-06-11