Вы здесь

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