David Steiner

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

2 David Steiner, Thomas Studer: Total Public Announcements. LFCS 2007: 498-511

2006

1 David Steiner, Thomas Strahm: On the proof theory of type two functionals based on primitive recursive operations. Math. Log. Q. 52(3): 237-252 (2006)

	2007
2		David Steiner, Thomas Studer: Total Public Announcements. LFCS 2007: 498-511
	2006
1		David Steiner, Thomas Strahm: On the proof theory of type two functionals based on primitive recursive operations. Math. Log. Q. 52(3): 237-252 (2006)

Coauthor Index

1 Thomas Strahm [1]

2 Thomas Studer [2]

Colors in the list of coauthors