scientific article; zbMATH DE number 139614

zbMATH Open0777.90002MaRDI QIDQ4029593FDOQ4029593

Authors: J. R. B. Cockett 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

decision treescoalgebraic theory

Mathematics Subject Classification ID

Decision theory (91B06)

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)