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

Кристоф Вальтер (родился 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 система проверки функциональных программ

• Кристоф Вальтер и Стефан Швейцер (2002). Руководство пользователя VeriFun (PDF) (Технический отчет). TU Дармштадт.
• Кристоф Вальтер и Стефан Швейцер (2002). Учебник VeriFun (PDF) (Технический отчет). TU Darmstadt / Programmiermethodik.
• Кристоф Вальтер и Стефан Швейцер (2003). «О VeriFun» (PDF). У Франца Баадера (ред.). Proc. 19-е Конференция по автоматическому вычету. LNAI. 2741. Springer. С. 322–327.

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

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

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

• Сюзанна Бьюндо и Биргит Хаммель, Дитер Хаттер и Кристоф Вальтер (1986). "Система доказательства теорем индукции Карлсруэ". В J.H. Siekmann (ред.). Proc. 8-й CADE. LNAI. 230. Springer. С. 672–674.
• Кристоф Вальтер (1992). «Вычислительные аксиомы индукции» (PDF). У Андрея Воронкова (ред.). Proc. LPAR. LNAI. 624. Springer. С. 381–392.
• Кристоф Вальтер (1993). «Объединение аксиом индукции с помощью машины» (PDF). В Рузене Байчи (ред.). Proc. 13-е IJCAI. Морган Кауфманн. С. 95–101.
• Кристоф Вальтер (1994). «Математическая индукция» (PDF). В Дов М. Габбай и C.J. Hogger и J.A. Робинсон (ред.). Справочник по логике в искусственном интеллекте и логическом программировании. 2. Издательство Оксфордского университета. С. 127–227.

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

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

• Кристоф Вальтер на Проект "Математическая генеалогия"
• Домашняя страница Кристофа Вальтера в Дармштадтском университете