| 2008 |
|---|
| 5 | EE | Kai Brünnler,
Dieter Probst,
Thomas Studer:
On contraction and the modal fragment.
Math. Log. Q. 54(4): 345-349 (2008) |
| 2005 |
|---|
| 4 | EE | Dieter Probst:
On the relationship between fixed points and iteration in admissible set theory without foundation.
Arch. Math. Log. 44(5): 561-580 (2005) |
| 3 | EE | Gerhard Jäger,
Dieter Probst:
Corrigendum to "Variation on a theme of Schütte".
Math. Log. Q. 51(6): 642 (2005) |
| 2004 |
|---|
| 2 | EE | Gerhard Jäger,
Dieter Probst:
Variation on a theme of Schütte.
Math. Log. Q. 50(3): 258-264 (2004) |
| 2001 |
|---|
| 1 | EE | Dieter Probst,
Thomas Studer:
How to normalize the Jay.
Theor. Comput. Sci. 254(1-2): 677-681 (2001) |
