Sciweavers

ENTCS
2002

From Parity Games to Circular Proofs

14 years 7 days 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)