Кристоф Вальтер - Christoph Walther

Кристоф Вальтер
Родившийся (1950-08-09) 9 августа 1950 г. (возраст 70 лет)
Альма-матерКарлсруэ университет
ИзвестенРекурсия Вальтера
Научная карьера
ТезисМногосортное исчисление на основе разрешения и параметризации (1984)
ДокторантПитер Деуссен

Кристоф Вальтер (родился 9 августа 1950 г.)[1]немецкий ученый-компьютерщик, известный своим вкладом в автоматическое доказательство теорем.Он Заслуженный профессор в отставке в Дармштадтский технологический университет.[2]

Избранные публикации

По автоматизированной программе анализ прекращения

  • Кристоф Вальтер (1988). «Алгоритмы с ограниченным аргументом как основа для автоматизированных доказательств завершения». Proc. 9-е Конференция по автоматическому вычету. LNAI. 310. Springer. С. 602–621.
  • Кристоф Вальтер (1991). «О доказательстве завершения алгоритмов машиной» (PDF). Искусственный интеллект. 70 (1).
  • Юрген Гисль; Кристоф Вальтер; Юрген Браубургер (1998). «Завершающий анализ функциональных программ». У В. Бибеля; П. Шмитт (ред.). Автоматическое удержание - основа для приложений (постскриптум). 3. Дордрехт: Kluwer Academic Publishers. С. 135–164.
  • Кристоф Вальтер (2000). «Критерии прекращения действия». В С. Hölldobler (ред.). Интеллектика и вычислительная логика (постскриптум). Дордрехт: Kluwer Academic Publishers. С. 361–386.
  • Кристоф Вальтер; Стефан Швейцер (2005). «Автоматизированный анализ прекращения для не полностью определенных программ» (PDF). В Франц Баадер; Андрей Воронков (ред.). Proc. 11-й Int. Конф. на Логика программирования, искусственного интеллекта и рассуждений (LPAR). LNAI. 3452. Springer. С. 332–346.

На VeriFun система проверки функциональных программ

По порядковому разрешению

  • Вальтер, Кристоф (1985). «Механическое решение парового катка Шуберта с помощью многоуровневого разрешения». Артиф. Intell. 26 (2): 217–224.

Об индукционном доказательстве

Рекомендации

  1. ^ Саймон Зиглер и Натан Вассер, изд. (2010). "Предисловие". Проверка, индукция, завершающий анализ - Праздничный сбор для Кристофа Вальтера по случаю его 60-летия. LNAI. 6463. Springer. ISBN  978-3-642-17171-0.
  2. ^ Professuren und Gruppenleitungen В архиве 2015-02-21 в Wayback Machine (Раздел Emeriti und Professoren im Ruhestand) на веб-сайте Дармштадтского университета

внешняя ссылка