Вы здесь

Van Raamsdonk F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Translating Logic Programs into Conditional Rewring Systems 1997 Van Raamsdonk F. Logic Programming 11.03.1998
СТ 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