Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Zantema, Hans
Volume
Title
292
Triangulation in rewriting
Oostrom, V. van
|
Zantema, Hans
153
Termination modulo equations by abstract commutation with an application to iteration
Fokkink, W.J.
|
Zantema, Hans
Online