Christoph Walther - Christoph Walther

Christoph Walther
narozený (1950-08-09) 9. srpna 1950 (věk 70)
Alma materKarlsruhe University
Známý jakoWaltherova rekurze
Vědecká kariéra
Tezemnohostranný kalkul založený na rozlišení a parametru (1984)
Doktorský poradcePeter Deussen

Christoph Walther (narozen 9. srpna 1950)[1]je německý počítačový vědec známý svými příspěvky k automatizované dokazování věty.On je Emeritní profesor na Technická univerzita v Darmstadtu.[2]

Vybrané publikace

Na automatizovaném programu analýza ukončení

  • Christoph Walther (1988). „Argumentem ohraničené algoritmy jako základ pro automatizované důkazy o ukončení“. Proc. 9 Konference o automatizovaném odpočtu. LNAI. 310. Springer. 602–621.
  • Christoph Walther (1991). „O prokázání strojového ukončení algoritmů“ (PDF). Umělá inteligence. 70 (1).
  • Jürgen Giesl; Christoph Walther; Jürgen Brauburger (1998). "Analýza ukončení funkčních programů". W. W. Bibel; P. Schmitt (eds.). Automatizovaný odpočet - základ pro aplikace (postscript). 3. Dordrecht: Kluwer Academic Publishers. str. 135–164.
  • Christoph Walther (2000). "Kritéria pro ukončení". V S. Hölldobler (ed.). Intelektika a výpočetní logika (postscript). Dordrecht: Kluwer Academic Publishers. 361–386.
  • Christoph Walther; Stephan Schweitzer (2005). „Automatizovaná analýza ukončení pro neúplně definované programy“ (PDF). v Franz Baader; Andrej Voronkov (eds.). Proc. 11. Int. Konf. na Logika pro programování, umělou inteligenci a uvažování (LPAR). LNAI. 3452. Springer. 332–346.

Na VeriFun ověřovací systém pro funkční programy

Na rozlišení seřazené podle objednávky

  • Walther, Christoph (1985). „Mechanické řešení Schubertova parního válce podle mnohostranného rozlišení“. Artif. Intell. 26 (2): 217–224.

Na provokaci indukce

  • Susanne Biundo a Birgit Hummel a Dieter Hutter a Christoph Walther (1986). "Karlsruhe indukční věta prokazující systém". V J.H. Siekmann (ed.). Proc. 8. CADE. LNAI. 230. Springer. 672–674.
  • Christoph Walther (1992). „Výpočetní indukční axiomy“ (PDF). V Andrei Voronkov (ed.). Proc. LPAR. LNAI. 624. Springer. 381–392.
  • Christoph Walther (1993). „Kombinace indukčních axiomů strojem“ (PDF). In Ruzena Bajcsy (ed.). Proc. 13 IJCAI. Morgan Kaufmann. 95–101.
  • Christoph Walther (1994). „Matematická indukce“ (PDF). v Dov M. Gabbay a C. J. Hogger a J.A. Robinson (vyd.). Příručka logiky v umělé inteligenci a logickém programování. 2. Oxford University Press. str. 127–227.

Reference

  1. ^ Simon Siegler a Nathan Wasser, ed. (2010). "Předmluva". Ověření, indukce, analýza ukončení - Festschrift pro Christoph Walther u příležitosti jeho 60. narozenin. LNAI. 6463. Springer. ISBN  978-3-642-17171-0.
  2. ^ Professuren und Gruppenleitungen Archivováno 2015-02-21 na Wayback Machine (Sekce Emeriti und Professoren im Ruhestand) na webu Darmstadt University

externí odkazy