Searching for authors named Piet Rodenburg – sorted by Relevance.
-
Equational Constructor Induction
- Equational Constructor Induction Inge Bethke 1 and Piet Rodenburg 2 1 Faculty of Philosophy
- Add To MetaCart
-
Transformations of Reduction Systems
- Systems Bas Luttik Piet Rodenburg Report P9615 October 1996 University of Amsterdam Department
- Cited by 1 (0 self) – Add To MetaCart
-
A Propositional Logic With 4 Values: True, False, Divergent and Meaningless
- ;2 Inge Bethke 2;3 Piet Rodenburg 1 1 University of Amsterdam, Programming Research Group Kruislaan
- Cited by 11 (8 self) – Add To MetaCart

