Publications

Export 1 results:
Filters: Author is Ralf Steinbrüggen  [Clear All Filters]
2002
Ostrin, G.E., Wainer, S.S.: Proof theoretic complexity. In: Schwichtenberg, H. and Steinbrüggen, R. Proof and System Reliability. pp. 369-398. Springer (2002).