Pieter Hendrik Rodenburg

According to our database, Pieter Hendrik Rodenburg authored at least 15 papers between 1991 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

The structure of finite meadows.

Inge Bethke, Pieter Hendrik Rodenburg, Arjen Sevenster

J. Log. Algebraic Methods Program., 2015

2011

The free process algebra generated by δ, ϵ and τ.

Piet Rodenburg, Jan Willem Klop, Karst Koymans, Jos L. M. Vrancken

Theor. Comput. Sci., 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

Typability in Partial Applicative Structures.

Inge Bethke, Piet Rodenburg

J. Log. Lang. Inf., 2011

2010

The initial meadows.

Inge Bethke, Piet Rodenburg

J. Symb. Log., 2010

2007

Piecewise initial algebra semantics.

Pieter Hendrik Rodenburg

J. Log. Algebraic Methods Program., 2007

Some properties of finite meadows

Inge Bethke, Piet Rodenburg

CoRR, 2007

2004

Remarks on Thatte's transformation of term rewriting systems.

Bas Luttik, Piet Rodenburg, Rakesh M. Verma

Inf. Comput., 2004

2001

A complete system of four-valued logic.

Pieter Hendrik Rodenburg

J. Appl. Non Class. Logics, 2001

1998

Termination and Confluence in Infinitary Term Rewriting.

Pieter Hendrik Rodenburg

J. Symb. Log., 1998

1996

Equational Constructor Induction.

Inge Bethke, Piet Rodenburg

Fundam. Informaticae, 1996

1995

A propositional logic with 4 values: true, false, divergent and meaningless.

Jan A. Bergstra, Inge Bethke, Piet Rodenburg

J. Appl. Non Class. Logics, 1995

1991

Algebraic Specifiability of Data Types with minimal Computable Parameters.

Pieter Hendrik Rodenburg

Theor. Comput. Sci., 1991

The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.

Pieter Hendrik Rodenburg

Math. Log. Q., 1991

Interpolation in conditional equational logic.

Pieter Hendrik Rodenburg

Fundam. Informaticae, 1991