schmerl@informatik.uni-muenchen.de
LFE Theoretische Informatik
Institut für Informatik
Ludwig-Maximilians-Universität München
Oettingenstr. 67
D-80538 München, Germany
Phone: +49-89-2178-2241
Fax: +49-89-2178-2238
Office: Z 1.07
and
Institut für Mathematik und Theoretische Informatik
Fakultät für Informatik
Universität der Bundeswehr München
D-85577 Neubiberg, Germany
Phone: +49-89-6004-2243
Fax: +49-89-6004-3560
|
|
|
|
|
|
| [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 |
| 7. 10. 46 | geboren in Glücksburg an der Ostsee | |||||||||||||||||
| 19. 6. 70 | Reifezeugnis in Mannheim | |||||||||||||||||
| 15. 6. 76 | Diplôme d'Etudes Approfondies | |||||||||||||||||
| 30. 11. 78 | Promotion an der Universität Heidelberg | |||||||||||||||||
| 12. 6. 85 | Habilitation für das Fach Mathematik | |||||||||||||||||
| 1. 6. 89 | Ruf an die Universität der Bundeswehr München auf die Professur für Programmiersprachen und wissensbasierte Systeme | |||||||||||||||||
| 1. 9. 93 | Gastprofessur an der Universität Montpellier III (Frankreich) | |||||||||||||||||
| 1. 6. 94 | Beteiligung am DFG-Graduiertenkolleg " Sprache-Information-Logik" (SIL) an der Universität München | |||||||||||||||||
| [1] | Lineare Algebra II, 4-st. mit Übungen |
| [2] | Differentialgleichungen, 2-st. mit Übungen |
| [3] | Mathematische Logik, 4-st. mit Übungen |
| [4] | Axiomatische Mengenlehre I + II, jeweils 4-st. mit Übungen |
| [5] | Formale Sprachen I + II, jeweils 3-st. mit Übungen |
| [6] | Grundlagen der Berechenbarkeit, 4-st. mit Übungen |
| [7] | Logikprogrammierung I +II, jeweils 4-st. mit Übungen |
| [8] | Automatisches Beweisen, 2-st. |
| [9] | Deduktionssysteme, 2-st. |
| [10] | Wissensbasierte Systeme, 2-st. mit Übungen |
| [11] | Expertensysteme, 2-st. |
| [12] | Lambda-Kalkül, 2-st. |
| [13] | Einführung in die Programmierung I +II (Anfängervorlesung Informatik), jeweils 4-st. mit Übungen |
| [14] | Programmiersprachen I + II, jeweils 3-st. mit Übungen |
| [15] | Seminare zu verschiedenen Themen im Bereich Logik in der Informatik |
Lehr- und Forschungseinheit für Theoretische Informatik
