Вы здесь

Van Oostrom V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Comparing Combinatory Reducion Systems and Higher-Order Rewrite Systems 1994 Van Oostrom V., Van Raamsdonk F. Lecture Notes in Computer Science 24.08.1994
СТ Weak Orthogonality Implies Confluence: The Higher-Order Case 1994 Van Oostrom V., Van Raamsdonk F. Lecture Notes in Computer Science 02.08.1994