Automatic analysis of term rewriting systems: proving properties of term rewriting systems derived from ASF+SDF specifications
| Authors | |
|---|---|
| Publication date | 1995 |
| Series | Technical Report, P9505 |
| Publisher | onbekend: onbekend (FdL) |
| Organisations |
|
| Document type | Report |
| Permalink to this page | |