Deciding the winner in parity games is in UP ∩ co-UP 论文

1998Information Processing Letters引用 380
Optimization and Search ProblemsLogic, Reasoning, and Knowledgesemigroups and automata theory

Deciding the winner in parity games is in UP ∩ co-UP · 相关文章

暂无数据