Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science, 909, Band 909)
Dieses Werk fasst die Erkenntnisse einer französischen Frühlingssitzung 1993 zusammen, präsentiert fortgeschrittene Methoden der Termumformung und ...