Вы здесь

De O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Mapping Modular SOS to Rewriting Logic 2003 De O., Haeusler E. H., Meseguer J., Mosses P. D. Lecture Notes in Computer Science 20.09.2003
СТ Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic 2000 De O., Haeusler E. H., Meseguer J., Mosses P. D. Lecture Notes in Computer Science 17.06.2000