P. Rodenburg

发表

Algebraic specifications for parametrized data types: the case of minimal computable algebras and parameters with equality

P. Rodenburg, 1987 .

A simple algebraic proof of the equational interpolation theorem

P. Rodenburg, P. H. Rodenburg, 1991 .

How Full is Full Employment?How Tools and Not Theory Explained Full Employment

P. Rodenburg, 2016 .

The Construction of Instruments for Measuring Unemployment

P. Rodenburg, 2006 .

Correctness Criteria for Transformations of RewriteSystemsWith an application to Thatte ' s

Rakesh M. Verma, P. Rodenburg, TransformationSebastiaan P. Luttik, 2007 .

Models as Measuring Instruments

P. Rodenburg, 2004 .

Models as measuring instruments: measurement of duration dependence of unemployment

P. Rodenburg, 2005 .

UvA-DARE ( Digital Academic Repository ) Models as Measuring Instrument : Measurement of Duration Dependence of Unemployment Rodenburg

P. Rodenburg, 2005 .

Rationalization and the “Engineer-Economists” in the Netherlands, 1920–1940

P. Rodenburg, 2018, Including a Symposium on Mary Morgan: Curiosity, Imagination, and Surprise.

Characterization of the algebraic closure systems that can be represented by ℒ+

P. Rodenburg, 1982 .

UvA-DARE ( Digital Academic Repository ) The structure of finite meadows

I. Bethke, P. Rodenburg, A. Sevenster, 2017 .

The UV or Beveridge Curve

P. Rodenburg, 2010 .

A propositional logic with 4 values: true, false, divergent and meaningless

Jan A. Bergstra, Inge Bethke, Pieter Hendrik Rodenburg, 1995, J. Appl. Non Class. Logics.

Some properties of finite meadows pdf

Inge Bethke, Pieter Hendrik Rodenburg, I. Bethke, 2007, ArXiv.

The structure of finite meadows pdf

Inge Bethke, Pieter Hendrik Rodenburg, Arjen Sevenster, 2009, J. Log. Algebraic Methods Program..

The initial meadows

Inge Bethke, Pieter Hendrik Rodenburg, I. Bethke, 2008, The Journal of Symbolic Logic.

Algebraic Specifiability of Data Types with minimal Computable Parameters

Pieter Hendrik Rodenburg, P. Rodenburg, 1991, Theor. Comput. Sci..

The remarkable transformation of the UV curve in economic theory

P. Rodenburg, 2007 .

The Remarkable Place of the UV-Curve in Economic Theory

P. Rodenburg, 2007 .

Derived Measurement in Macroeconomics: Two Approaches for Measuring the NAIRU Considered

P. Rodenburg, 2007 .

Termination and confluence in infinitary term rewriting

Pieter Hendrik Rodenburg, P. Rodenburg, 1998, Journal of Symbolic Logic.

Equational Constructor Induction

Inge Bethke, Pieter Hendrik Rodenburg, I. Bethke, 1996, Fundam. Informaticae.

Piecewise initial algebra semantics

Pieter Hendrik Rodenburg, P. Rodenburg, 2007, J. Log. Algebraic Methods Program..

UvA-DARE ( Digital Academic Repository ) The initial meadows

I. Bethke, P. Rodenburg, 2008 .

Multiple Causation and the Measurement of Unemployment

P. Rodenburg, 2004 .

The Goudriaan-Tinbergen Debate on Dynamics and Equilibrium: 1931-1952

P. Rodenburg, 2010 .

Parallel object-oriented term rewriting : the booleans

J. Vrancken, P. Rodenburg, P. H. Rodenburg, 1988 .

Specification of the Fast Fourier Transform algorithm as a term rewriting system

P. Rodenburg, D. Hoekzema, P. H. Rodenburg, 1987 .

An interpolation theorem in equational logic

R. J. vanGlabbeek, P. Rodenburg, P. H. Rodenburg, 1988 .