MDLUL/Termmenge
Start=Termmenge
MDLUL/Termmenge |
---|
Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv definierte Termmenge/Definition
Start=Termmenge
MDLUL/Termmenge |
---|
Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv definierte Termmenge/Definition