 | 2009 |
|---|
| 5 |       | Inge Bethke,
Piet Rodenburg,
Arjen Sevenster:
The structure of finite meadows
CoRR abs/0903.1196: (2009) |
| 2007 |
|---|
| 4 | | Inge Bethke,
Piet Rodenburg:
Some properties of finite meadows
CoRR abs/0712.0917: (2007) |
| 2004 |
|---|
| 3 | | 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) |
