dblp.uni-trier.dewww.uni-trier.de

Dieter Probst

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Kai Brünnler [5]
2Gerhard Jäger [2] [3]
3Thomas Studer [1] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)