On Parity Game Preorders and the Logic of Matching Plays.

Autor: Gazda, M. W., Willemse, T. A. C.
Zdroj: SOFSEM 2016: Theory & Practice of Computer Science; 2016, p277-289, 13p
Databáze: Complementary Index
Externí odkaz: