- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 6 |      | 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) |