Sciweavers

ENTCS
2002

From Parity Games to Circular Proofs

13 years 4 months ago
From Parity Games to Circular Proofs
Luigi Santocanale
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Luigi Santocanale
Comments (0)