P. H. Rodenburg

Available identifiers

Publication	Date of Publication	Type
The structure of finite meadows	2015-02-27	Paper
The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \)	2011-07-07	Paper
Typability in partial applicative structures	2011-06-30	Paper
The initial meadows	2010-10-04	Paper
Typability in partial groupoids	2009-01-01	Paper
Iteratively algebraic orders	2008-10-26	Paper
Piecewise initial algebra semantics	2007-11-21	Paper
Remarks on Thatte's transformation of term rewriting systems	2005-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4443015	2004-01-08	Paper
Termination and confluence in infinitary term rewriting	1999-12-13	Paper
A propositional logic with 4 values: true, false, divergent and meaningless	1996-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q4864464	1996-03-05	Paper
Algebraic specifiability of data types with minimal computable parameters	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3982061	1992-06-26	Paper
A simple algebraic proof of the equational interpolation theorem	1992-06-25	Paper
The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames	1992-06-25	Paper
Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid	1989-01-01	Paper
Characterization of the algebraic closure systems that can be represented by \(S^+\)	1982-01-01	Paper

This page was built for person: P. H. Rodenburg