Pieter Hendrik Rodenburg

Publication Activity (10 Years)

Years Active: 1991-2015
Publications (10 Years): 0

Top Topics

Multiresolution

Structural Properties

Bayesian Networks

Top Venues

J. Log. Algebraic Methods Program.

Publications

Inge Bethke, Pieter Hendrik Rodenburg, Arjen Sevenster
The structure of finite meadows. J. Log. Algebraic Methods Program. 84 (2) (2015)
Pieter Hendrik Rodenburg
Piecewise initial algebra semantics. J. Log. Algebraic Methods Program. 74 (1) (2007)
Pieter Hendrik Rodenburg
A complete system of four-valued logic. J. Appl. Non Class. Logics 11 (3-4) (2001)
Pieter Hendrik Rodenburg
A complete system of four-valued logic. J. Appl. Non Class. Logics 10 (3-4) (2000)
Pieter Hendrik Rodenburg
Termination and Confluence in Infinitary Term Rewriting. J. Symb. Log. 63 (4) (1998)
Pieter Hendrik Rodenburg
Interpolation in conditional equational logic. Fundam. Informaticae 15 (1) (1991)
Pieter Hendrik Rodenburg
Algebraic Specifiability of Data Types with minimal Computable Parameters. Theor. Comput. Sci. 85 (1) (1991)
Pieter Hendrik Rodenburg
The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames. Math. Log. Q. 37 (23-24) (1991)