scientific article; zbMATH DE number 139614

MaRDI QIDQ4029593zbMATHFDO

Authors J. R. B. Cockett

Publication date 28 March 1993

zbMATH Keywords

decision treescoalgebraic theory

Mathematics Subject Classification ID

Decision theory (91B06)

Recommendations

• Coalgebraic logic
• Stochastic coalgebraic logic
• Coalgebraic Hybrid Logic
• A coalgebraic decision procedure for NetKAT
• Coalgebraic predicate logic
• scientific article; zbMATH DE number 1497872
• A coalgebraic decision procedure for WS1S
• Coalgebraic logic for stochastic right coalgebras
• A Coalgebraic Perspective on Minimization and Determinization
• Coalgebraic logics \& duality

Cited in

(2)

• Stochastic Decision Theory
• A coalgebraic decision procedure for NetKAT

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4029593)