An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting
| Authors |
|
|---|---|
| Publication date | 1997 |
| Series | Technical Report, P9715 |
| Publisher | onbekend: onbekend (FdL) |
| Organisations |
|
| Document type | Report |
| Permalink to this page | |