Size-change termination for term rewriting
Gespeichert in:
1. Verfasser: | |
---|---|
Weitere Verfasser: | |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Aachen
RWTH, Department of Computer Science
2003
|
Schriftenreihe: | Aachener Informatik-Berichte
2003,2 Technical report / Department of Computer Science, RWTH Aachen |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Keine Ergebnisse!