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) |
1 | Kai Brünnler | [5] |
2 | Gerhard Jäger | [2] [3] |
3 | Thomas Studer | [1] [5] |