David Steiner

Affiliations:
  • University of Bern, Switzerland


According to our database1, David Steiner authored at least 2 papers between 2006 and 2007.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Total Public Announcements.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006
On the proof theory of type two functionals based on primitive recursive operations.
Math. Log. Q., 2006


  Loading...