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
详细信息
- 发表期刊/会议
- Information Processing Letters
- 发表日期
- 1998-11-01
- 发表年份
- 1998
关键词
Optimization and Search ProblemsLogic, Reasoning, and Knowledgesemigroups and automata theory