Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Oostrom, V. van
Volume
Title
292
Triangulation in rewriting
Oostrom, V. van
|
Zantema, Hans
284
Higher-order (non-)modularity
Appel, Claus
|
Grue Simonsen, Jakob
|
Oostrom, V. van
280
On the termination of Russel’s description elimination algorithm
Grabmayer, C.A.
|
Leo, Joop
|
Oostrom, V. van
|
Visser, Albert
207
Sub-Birkhoff
Oostrom, V. van
166
Diagram Techniques for Confluence
Bezem, Marc
|
Klop, J.W.
|
Oostrom, V. van
Online