Options
2006
Diploma Thesis
Titel
Das Dependency Pair Framework zur Terminierungsanalyse von Termersetzung moduler Gleichungen
ThesisNote
Aachen, TH, Dipl.-Arb., 2006
Verlagsort
Aachen