,

The Rabin Index and Chain Automata, with Applications to Automatas and Games.

, , , и .
CAV, том 939 из Lecture Notes in Computer Science, стр. 253-266. Springer, (1995)

Метаданные

тэги

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

  • @dblp

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