dr. P.H. Rodenburg
-
Faculty of Science
IVI
-
POSTBUS
94323
1090 GH Amsterdam
Room number: C3.111
-
P.H.Rodenburg@uva.nl
T: 0205257589
2011
- P.H. Rodenburg, J.W. Klop, K. Koymans & J. Vrancken (2011). The free process algebra generated by δ, ε and τ. Theoretical Computer Science, 412 (28), 3370-3377. doi: 10.1016/j.tcs.2011.03.019
- I. Bethke & P. Rodenburg (2011). Typability in partial applicative structures. Journal of Logic, Language and Information, 20 (2), 161-168. doi: 10.1007/s10849-010-9124-7[go to publisher's site]
2010
- I. Bethke & P. Rodenburg (2010). The initial meadows. Journal of Symbolic Logic, 75 (3), 888-895.[go to publisher's site]
2009
- P.H. Rodenburg & I. Bethke (2009). Typability in partial groupoids. (intern rapport). Ithaca, NY: arXiv.org.
- I. Bethke, P. Rodenburg & A. Sevenster (2009). The structure of finite meadows. (Preprints). Ithaca, NY: arXiv.org.[go to publisher's site]
2008
- P.H. Rodenburg (2008). Iteratively algebraic orders. (intern rapport). Ithaca, NY: arXiv.org.[go to publisher's site]
- I. Bethke & P. Rodenburg (2008). The initial meadows. (intern rapport). Ithaca, NY: arXiv.org.[go to publisher's site]
This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.
- No ancillary activities