From Parity Games to Circular Proofs (Q2842563)

From MaRDI portal
scientific article
Language Label Description Also known as
English
From Parity Games to Circular Proofs
scientific article

    Statements