Export 3 results:
Filters: Author is Robert F. Stärk  [Clear All Filters]
Studer, T.: Constructive foundations for Featherweight Java. In: Kahle, R., Schroeder-Heister, P., and Stärk, R.F. Proceedings of the International Seminar on Proof Theory in Computer Science. pp. 202-238. Springer (2001).
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).