Вы здесь

Werner A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ How to Realize LSE Narrowing 1994 Werner A., Bockmayr A., Krischer S. Lecture Notes in Computer Science 01.11.1994
СТ A Semantic Approach to Order-Sorted Rewriting 1993 Werner A. Lecture Notes in Computer Science 09.07.1993