Английская Википедия:Hans Zantema: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

19 марта 2024

  • текущ.пред. 05:4205:42, 19 марта 2024EducationBot обсуждение вклад 3515 байт +3515 Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Dutch mathematician and computer scientist}} '''Hans Zantema''' (1956) is a Dutch mathematician and computer scientist, and professor at Radboud University in Nijmegen, known for his work on termination analysis.<ref>Arts, Thomas, and Jürgen Giesl. "Termination of term rewriting using dependency pairs." ''Theoretical Computer Science'' 236.1 (2000): 133-178...»