Article,

Undecidability of domino games and hhp-bisimilarity.

, , and .
Inf. Comput., 184 (2): 343-368 (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews