Termination proofs and derivation lengths in term rewriting systems

Verfasser / Beitragende:
Dieter Hofbauer
Ort, Verlag, Jahr:
Berlin : TU, 1992
Beschreibung:
90 Blatt
Format:
Buch
ID: 54922193X