Pieter Hendrik Rodenburg

Piet Rodenburg

	2011
j13		Inge Bethke, Piet Rodenburg: Typability in Partial Applicative Structures. Journal of Logic, Language and Information 20(2): 161-168 (2011)
j12		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): 3033-3034 (2011)
j11		Piet Rodenburg, Jan Willem Klop, Karst Koymans, Jos L. M. Vrancken: The free process algebra generated by δ, ϵ and τ. Theor. Comput. Sci. 412(28): 3370-3377 (2011)
	2010
j10		Inge Bethke, Piet Rodenburg: The initial meadows. J. Symb. Log. 75(3): 888-895 (2010)
	2009
i2		Inge Bethke, Piet Rodenburg, Arjen Sevenster: The structure of finite meadows. CoRR abs/0903.1196 (2009)
	2007
j9		Pieter Hendrik Rodenburg: Piecewise initial algebra semantics. J. Log. Algebr. Program. 74(1): 1-31 (2007)
i1		Inge Bethke, Piet Rodenburg: Some properties of finite meadows. CoRR abs/0712.0917 (2007)
	2004
j8		Bas Luttik, Piet Rodenburg, Rakesh M. Verma: Remarks on Thatte's transformation of term rewriting systems. Inf. Comput. 195(1-2): 66-87 (2004)
	2001
j7		Pieter Hendrik Rodenburg: A complete system of four-valued logic. Journal of Applied Non-Classical Logics 11(3-4): 367-392 (2001)
	2000
j6		Pieter Hendrik Rodenburg: A complete system of four-valued logic. Journal of Applied Non-Classical Logics 10(3-4) (2000)
	1998
j5		Pieter Hendrik Rodenburg: Termination and Confluence in Infinitary Term Rewriting. J. Symb. Log. 63(4): 1286-1296 (1998)
	1996
j4		Inge Bethke, Piet Rodenburg: Equational Constructor Induction. Fundam. Inform. 25(1): 1-15 (1996)
	1995
j3		Jan A. Bergstra, Inge Bethke, Piet Rodenburg: A propositional logic with 4 values: true, false, divergent and meaningless. Journal of Applied Non-Classical Logics 5(2): 199-217 (1995)
	1991
j2		Pieter Hendrik Rodenburg: Interpolation in conditional equational logic. Fundam. Inform. 15(1): 80-85 (1991)
j1		Pieter Hendrik Rodenburg: Algebraic Specifiability of Data Types with minimal Computable Parameters. Theor. Comput. Sci. 85(1): 97-116 (1991)

Coauthor Index

Last update Sat May 25 01:13:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page