Piet Rodenburg

Publication Activity (10 Years)

Years Active: 1995-2011
Publications (10 Years): 0

Publications

Inge Bethke, Piet Rodenburg
Typability in Partial Applicative Structures. J. Log. Lang. Inf. 20 (2) (2011)
Inge Bethke, Alban Ponse, Piet Rodenburg
Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday. Theor. Comput. Sci. 412 (28) (2011)
Piet Rodenburg, Jan Willem Klop, Karst Koymans, Jos L. M. Vrancken
The free process algebra generated by δ, ϵ and τ. Theor. Comput. Sci. 412 (28) (2011)
Inge Bethke, Piet Rodenburg
The initial meadows. J. Symb. Log. 75 (3) (2010)
Inge Bethke, Piet Rodenburg, Arjen Sevenster
The structure of finite meadows CoRR (2009)
Inge Bethke, Piet Rodenburg
Some properties of finite meadows CoRR (2007)
Bas Luttik, Piet Rodenburg, Rakesh M. Verma
Remarks on Thatte's transformation of term rewriting systems. Inf. Comput. 195 (1-2) (2004)
Inge Bethke, Piet Rodenburg
Equational Constructor Induction. Fundam. Informaticae 25 (1) (1996)
Jan A. Bergstra, Inge Bethke, Piet Rodenburg
A propositional logic with 4 values: true, false, divergent and meaningless. J. Appl. Non Class. Logics 5 (2) (1995)