A note on first-order projections and games.

DOI10.1016/S0304-3975(02)00491-7zbMath1044.68059MaRDI QIDQ1401218

Argimiro A. Arratia, Iain A. Stewart

Publication date: 17 August 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

transitive closure

Mathematics Subject Classification ID

Game theory (91A99) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cites Work

• Unnamed Item
• Methods for proving completeness via logical reductions
• On the complexity of some two-person perfect-information games
• Completeness of path-problems via logical reductions
• Languages that Capture Complexity Classes
• A Combinatorial Problem Which Is Complete in Polynomial Space

This page was built for publication: A note on first-order projections and games.