Вы здесь

Ferreira M.C. F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Termination of Term Rewriting: Well-foundedness, Totality and Transformations 1962 Ferreira M.C. F. Univ. Utrecht 09.01.1998
СТ Dummy Elimination: Making Termination Easier 1995 Ferreira M.C. F., Zantema H. Lecture Notes in Computer Science Fundamentals of Computation Theory 18.10.1995
СТ Syntactical Analysis of Total Termination 1994 Ferreira M.C. F., Zantema H. Lecture Notes in Computer Science 01.11.1994
СТ Total Termination of Term Rewriting 1993 Ferreira M.C. F., Zantema H. Lecture Notes in Computer Science 09.07.1993