| [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 |
