Termination proofs and derivation lengths in term rewriting systems
Gespeichert in:
Verfasser / Beitragende:
Dieter Hofbauer
Ort, Verlag, Jahr:
Berlin :
TU,
1992
Beschreibung:
90 Blatt
Format:
Buch