,

Ordinal Theory for Expressiveness of Well Structured Transition Systems.

, , , и .
FoSSaCS, том 6604 из Lecture Notes in Computer Science, стр. 153-167. Springer, (2011)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии