Autorinnen und Autoren | Klaus Schmid |
Titel | Ground Reducibility Tests - Even for Nonlinear Term Rewriting Systems |
Publikationsart | Forschungsbericht |
Institution | Fraunhofer IESE, Germany |
Heft / Ausgabe | SR-93-11 (SFB) |
Jahr | 1993 |
Typ | SEKI Report |