,

A Recursive Approach to Solving Parity Games in Quasipolynomial Time.

, , , и .
Log. Methods Comput. Sci., (2022)

Метаданные

тэги

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

  • @dblp

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