2009 |
5 | EE | Inge Bethke,
Piet Rodenburg,
Arjen Sevenster:
The structure of finite meadows
CoRR abs/0903.1196: (2009) |
2007 |
4 | EE | Inge Bethke,
Piet Rodenburg:
Some properties of finite meadows
CoRR abs/0712.0917: (2007) |
2004 |
3 | EE | Bas Luttik,
Piet Rodenburg,
Rakesh M. Verma:
Remarks on Thatte's transformation of term rewriting systems.
Inf. Comput. 195(1-2): 66-87 (2004) |
1996 |
2 | | Inge Bethke,
Piet Rodenburg:
Equational Constructor Induction.
Fundam. Inform. 25(1): 1-15 (1996) |
1995 |
1 | | Jan A. Bergstra,
Inge Bethke,
Piet Rodenburg:
A propositional logic with 4 values: true, false, divergent and meaningless.
Journal of Applied Non-Classical Logics 5(2): (1995) |