Login / Signup

Undecidability of domino games and hhp-bisimilarity.

Marcin JurdzinskiMogens NielsenJirí Srba
Published in: Inf. Comput. (2003)
Keyphrases