From Parity Games to Circular Proofs
✍
Luigi Santocanale
📂
Article
📅
2002
🏛
Elsevier Science
🌐
English
⚖ 300 KB