# Publications

Export 5 results:
Filters: Author is Helmut Schwichtenberg  [Clear All Filters]
2002
: Proof theoretic complexity. In: Proof and System Reliability. pp. 369-398. Springer (2002).
2000
: A theory of explicit mathematics equivalent to ${ \mathsf{ID} }_1$. In: Proceedings of Computer Science Logic. pp. 356-370. Springer (2000).
1997
Jäger, G.: Some proof theory of first order logic programming. In: Schwichtenberg, H. Logic of Computation. pp. 201-228. Springer (1997).
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: Logic and Algebra of Specification. pp. 113-142. Springer (1993).