schriften

Schriftenverzeichnis:


[1] Eine von Reflexionsformeln erzeugte Feinstruktur über Erweiterungen der primitiv rekursiven Arithmetik, Dissertation, Heidelberg 1978
[2] A fine structure generated by reflection formulas over primitive recursive arithmetic, Proc. Logic Colloquium 1978, 335-350, Amsterdam 1979
[3] Iterated reflection principles and the ?-rule, Journal of Symbolic Logic 47 (1982) 721-733
[4] A proof theoretical fine structure in systems of ramified analysis, Archiv f. math. Logik u. Grundlagenf. 22 (1982) 167-186
[5] Über die schwach und die stark wachsende Hierarchie zahlentheoretischer Funktionen, Sitzungsber. d. Bayer. Akad. d. Wissensch. 1982, 1-18
[6] Number theory and the Bachmann/Howard ordinal, Proc. Herbrand Symp., Logic Coll. 1981, 287-298, Amsterdam 1982
[7] Diophantine equations in a fragment of number theory, Computation and Proof Theory, Logic Coll. 1983, 389-398, Springer Lecture Notes in Math. 1104
[8] Diophantische Gleichungen in Fragmenten der Arithmetik, Habilitationsschrift, München 1984
[9] Diophantine equations in fragments of arithmetic, Annals of Pure and Applied Logic 38 (1988) 135-170
[10] Critères de l'indépendance d'équations diophantiennes de fragments d'arithmétiques, Proc. Logic Coll. 1985, 303-308, Amsterdam 1987
[11] Resolution on formula-trees, Acta Informatica 25 (1988) 425-438
[12] Resolution on formula-trees (Konferenz-Version von 11), Proc. 11th German Workshop on Artif. Intell. GWAI 1987, Informatik Fachberichte 152, 211-220
[13] Logic programming by compilation and interpretation of formal derivations, Bericht 8904, Universität der Bundeswehr München, 1989
[14] Herleitungen als Programme: Ihre Kompilation und Interpretation, in: M. Broy (ed.), Mathematik und Informatik, 284-294, Springer Verlag 1990
[15] Beweise als Programme: Ihre Auswertung durch Schnittelimination, Proc. Workshop "Logik als Programmiersprache", GWAI 1990, Fachberichte Informatik, pp 34-38. Koblenz-Landau 1990
[16] A cut-elimination procedure designed for evaluating proofs as programs, CSL 91, Bern 1991, Springer Lecture Notes in Comp. Science 626, pp 316-325
[17] Clause reduction in resolution calculi by Herbrand substitutions of depth one, Bericht 9107, Universität der Bundeswehr München 1991
[18] A resolution calculus giving definite answers, Bericht 9108, Universität der Bundeswehr München, 1991
[19] Proving total correctness of programs in weak second-order logic, gemeinsam mit R. Berghammer u. B. Elbl, Proc. Rex Workshop "Semantics:Foundations and Applications", Beekbergen/Holland 1992, Springer Lecture Notes in Comp. Science 666, pp 51-72
[20] Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic, gemeinsam mit R. Berghammer u. B. Elbl, Theoretical Computer Science 146 (1995) 185-197
[21] Natural language text generation from a formal language; 1. The formal language, gemeinsam mit P. Duroux u. A. Preller, Univ. Montpellier III, 1994
[22] TEXTPRO - A Method of Generating Texts from a Formal Language into Natural Languages, gemeinsam mit B. Buchin, Proc. Workshop on Nat. Lang. Generation at the 23rd Ann. Conf. A.I. (KI-99), Deutsches Forschungszentrum F. Künstl. Intelligenz, D-99-01 (1999), pp. 31-35