Вы здесь

Hermann M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On Nontermination of Knuth-Bendix Algorithm 1985 Hermann M., Privara I. 30.09.1999
СТ Computational Complexity of Simultaneous Elementary Matching Problems 1995 Hermann M., Kolaitis P. G. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 21.10.1995
СТ Vademecum of Divergent Term Rewriting Systems 1990 Hermann M. BIGRE 16.02.1991

Редактор: