Sciweavers

ENTCS
2002

From Parity Games to Circular Proofs

13 years 11 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)