Publications

Export 3 results:
Filters: Author is Samuel S. Buss  [Clear All Filters]
1998
Jäger, G., Stärk, R.F.: A proof-theoretic framework for logic programming. In: Buss, S.S. Handbook of Proof Theory. pp. 639-682. North-Holland (1998).