| |
| * | 2007 | |
|---|---|---|
| 6 | EE | Pieter Hendrik Rodenburg: Piecewise initial algebra semantics. J. Log. Algebr. Program. 74(1): 1-31 (2007) |
| 2001 | ||
| 5 | Pieter Hendrik Rodenburg: A complete system of four-valued logic. Journal of Applied Non-Classical Logics 11(3-4): 367-392 (2001) | |
| 2000 | ||
| 4 | Pieter Hendrik Rodenburg: A complete system of four-valued logic. Journal of Applied Non-Classical Logics 10(3-4): (2000) | |
| 1998 | ||
| 3 | Pieter Hendrik Rodenburg: Termination and Confluence in Infinitary Term Rewriting. J. Symb. Log. 63(4): 1286-1296 (1998) | |
| 1991 | ||
| 2 | Pieter Hendrik Rodenburg: Interpolation in conditional equational logic. Fundam. Inform. 15(1): 80-85 (1991) | |
| 1 | Pieter Hendrik Rodenburg: Algebraic Specifiability of Data Types with minimal Computable Parameters. Theor. Comput. Sci. 85(1): 97-116 (1991) | |