Вы здесь
Stehr M. -O.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Maude as a Formal Meta-tool | 1999 | Clavel M., Duran F., Eker S., Meseguer J., Stehr M. -O. | Lecture Notes in Computer Science | 26.10.1999 | |||
СТ | Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework | 2004 | Stehr M. -O., Meseguer J. | Lecture Notes in Computer Science | 27.04.2004 | |||
СТ | Thinking in Cycles | 1998 | Stehr M. -O. | Lecture Notes in Computer Science | 04.07.1998 |