Dieter Probst

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

5 Kai Brünnler, Dieter Probst, Thomas Studer: On contraction and the modal fragment. Math. Log. Q. 54(4): 345-349 (2008)

2005

4 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 Gerhard Jäger, Dieter Probst: Corrigendum to "Variation on a theme of Schütte". Math. Log. Q. 51(6): 642 (2005)

2004

2 Gerhard Jäger, Dieter Probst: Variation on a theme of Schütte. Math. Log. Q. 50(3): 258-264 (2004)

2001

1 Dieter Probst, Thomas Studer: How to normalize the Jay. Theor. Comput. Sci. 254(1-2): 677-681 (2001)

	2008
5		Kai Brünnler, Dieter Probst, Thomas Studer: On contraction and the modal fragment. Math. Log. Q. 54(4): 345-349 (2008)
	2005
4		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		Gerhard Jäger, Dieter Probst: Corrigendum to "Variation on a theme of Schütte". Math. Log. Q. 51(6): 642 (2005)
	2004
2		Gerhard Jäger, Dieter Probst: Variation on a theme of Schütte. Math. Log. Q. 50(3): 258-264 (2004)
	2001
1		Dieter Probst, Thomas Studer: How to normalize the Jay. Theor. Comput. Sci. 254(1-2): 677-681 (2001)

Coauthor Index