Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Rodenburg, P.H.
Volume
Title
38
Parallel object-oriented term rewriting : the booleans
Rodenburg, P.H.
|
Vrancken, J.L.M.
37
Manufacturing a cartesian closed category with exactly two objects out of a C-monoid
Linden, F.J. van der
|
Rodenburg, P.H.
30
Gauß eliminition a term rewriting system
Hoekzema, D.J.
|
Rodenburg, P.H.
27
Specification of the Fast Fourier Transform algorithm as a term rewriting system
Hoekzema, D.J.
|
Rodenburg, P.H.
Online