Publikation - Einzelansicht
details for the publication
| author(s) | Klaus Schmid |
| title | Ground Reducibility Tests - Even for Nonlinear Term Rewriting Systems |
| publication type | Forschungsbericht |
| institution | Fraunhofer IESE, Germany |
| number / issue | SR-93-11 (SFB) |
| year | 1993 |
| type | SEKI Report |
