Rodenburg, Pieter Hendrik

Algebraic specifications for parametrized data types : the case of minimal computable algebras and parameters with equality / P.H. Rodenburgschema:ProductModel An interpolation theorem in equational logic / P.H. Rodenburg, R.J. van Glabbeekschema:ProductModel Gauss elimination as a term rewriting system / P.H. Rodenburg, D.J. Hoekzemaschema:ProductModel Interpolation in equational logic / P.H. Rodenburgschema:ProductModel Intuitionistic correspondence theory / door Pieter Hendrik Rodenburgschema:ProductModel Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid / P.H. Rodenburg, F.J. van der Lindenschema:ProductModel Parallel object-oriented term rewriting : the Booleans / P.H. Rodenburg, J.L.M. Vranckenschema:ProductModel Specification of the fast fourier transform algorithm as a term rewriting system / P.H. Rodenburg, D.J. Hoekzemaschema:ProductModel

Equational constructor induction / I. Bethke, P.H. Rodenburgschema:ProductModel