scientific article; zbMATH DE number 1163983
From MaRDI portal
Publication:4395610
zbMath0897.90203MaRDI QIDQ4395610
Publication date: 29 July 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other game-theoretic models (91A40) Economics of information (91B44) Subsystems of classical logic (including intuitionistic logic) (03B20) Free lattices, projective lattices, word problems (06B25)
Related Items
μ-Bicomplete Categories and Parity Games ⋮ The variable hierarchy for the games \(\mu \)-calculus ⋮ On an extension of the notion of Reedy category ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ Ambiguous classes in \(\mu\)-calculi hierarchies ⋮ On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication ⋮ From Parity Games to Circular Proofs ⋮ Parallel and serial hypercoherences ⋮ Sequential algorithms and strongly stable functions
