Publications

Export 5 results:
Filters: Author is Helmut Schwichtenberg  [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).
1995
Jäger, G.: A deductive approach to logic programming. In: Schwichtenberg, H. Proof and Computation. pp. 231-270. Springer (1995).
1993
Jäger, G.: Some proof-theoretic aspects of logic programming. In: Bauer, F.L., Brauer, W., and Schwichtenberg, H. Logic and Algebra of Specification. pp. 113-142. Springer (1993).