Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Hoekzema, D.J.
Volume
Title
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