P. H. Rodenburg

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The structure of finite meadows Journal of Logical and Algebraic Methods in Programming	2015-02-27	Paper
The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \) Theoretical Computer Science	2011-07-07	Paper
Typability in partial applicative structures Journal of Logic, Language and Information	2011-06-30	Paper
The initial meadows Journal of Symbolic Logic	2010-10-04	Paper
The initial meadows Journal of Symbolic Logic	2010-10-04	Paper
Typability in partial groupoids	2009-01-01	Paper
Iteratively algebraic orders	2008-10-26	Paper
Piecewise initial algebra semantics The Journal of Logic and Algebraic Programming	2007-11-21	Paper
Remarks on Thatte's transformation of term rewriting systems Information and Computation	2005-02-22	Paper
scientific article; zbMATH DE number 2024293 (Why is no real title available?)	2004-01-08	Paper
Termination and confluence in infinitary term rewriting Journal of Symbolic Logic	1999-12-13	Paper
A propositional logic with 4 values: true, false, divergent and meaningless Journal of Applied Non-Classical Logics	1996-08-15	Paper
scientific article; zbMATH DE number 845921 (Why is no real title available?)	1996-03-05	Paper
Algebraic specifiability of data types with minimal computable parameters Theoretical Computer Science	1992-06-28	Paper
scientific article; zbMATH DE number 23769 (Why is no real title available?)	1992-06-26	Paper
A simple algebraic proof of the equational interpolation theorem Algebra Universalis	1992-06-25	Paper
The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames Mathematical Logic Quarterly	1992-06-25	Paper
Manufacturing a Cartesian closed category with exactly two objects out of a C-monoid Studia Logica	1989-01-01	Paper
Characterization of the algebraic closure systems that can be represented by \(S^+\) Algebra Universalis	1982-01-01	Paper

Research outcomes over time

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