scientific article
From MaRDI portal
Publication:2770141
zbMath0987.03057MaRDI QIDQ2770141
Publication date: 7 February 2002
Full work available at URL: https://eudml.org/doc/121841
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Games involving graphs (91A43) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Equational classes, universal algebra in model theory (03C05) Free lattices, projective lattices, word problems (06B25)
Related Items (5)
μ-Bicomplete Categories and Parity Games ⋮ On the equational definition of the least prefixed point. ⋮ The variable hierarchy for the games \(\mu \)-calculus ⋮ Ambiguous classes in \(\mu\)-calculi hierarchies ⋮ From Parity Games to Circular Proofs
This page was built for publication:
