Interpolation in conditional equational logic. - Pieter Hendrik Rodenburg (Fundam. Informaticae, 1991)

The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames. - Pieter Hendrik Rodenburg (Math. Log. Q., 1991)

Algebraic Specifiability of Data Types with minimal Computable Parameters. - Pieter Hendrik Rodenburg (Theor. Comput. Sci., 1991)

A propositional logic with 4 values: true, false, divergent and meaningless. - Jan A. Bergstra; Inge Bethke; Piet Rodenburg (J. Appl. Non Class. Logics, 1995)

Equational Constructor Induction. - Inge Bethke; Piet Rodenburg (Fundam. Informaticae, 1996)

Termination and Confluence in Infinitary Term Rewriting. - Pieter Hendrik Rodenburg (J. Symb. Log., 1998)

A complete system of four-valued logic. - Pieter Hendrik Rodenburg (J. Appl. Non Class. Logics, 2001)

Remarks on Thatte's transformation of term rewriting systems. - Bas Luttik; Piet Rodenburg; Rakesh M. Verma (Inf. Comput., 2004)

Some properties of finite meadows - Inge Bethke; Piet Rodenburg (CoRR, 2007)

Piecewise initial algebra semantics. - Pieter Hendrik Rodenburg (J. Log. Algebraic Methods Program., 2007)

The initial meadows. - Inge Bethke; Piet Rodenburg (J. Symb. Log., 2010)

Typability in Partial Applicative Structures. - Inge Bethke; Piet Rodenburg (J. Log. Lang. Inf., 2011)

Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday. - Inge Bethke; Alban Ponse; Piet Rodenburg (Theor. Comput. Sci., 2011)

The free process algebra generated by δ, ϵ and τ. - Piet Rodenburg; Jan Willem Klop; Karst Koymans; Jos L. M. Vrancken (Theor. Comput. Sci., 2011)

The structure of finite meadows. - Inge Bethke; Pieter Hendrik Rodenburg; Arjen Sevenster (J. Log. Algebraic Methods Program., 2015)