Truthful Monadic Abstractions
From MaRDI portal
Publication:2908481
Recommendations
- Monotonic abstraction in parameterized verification
- A trustful monad for axiomatic reasoning with probability and nondeterminism
- scientific article; zbMATH DE number 3880651
- scientific article; zbMATH DE number 522862
- Monadic Translation of Intuitionistic Sequent Calculus
- On monadic theories of monadic predicates
- scientific article; zbMATH DE number 1231463
- Monads and realcompactness
- Taut monads, dynamic logic and determinism
This page was built for publication: Truthful Monadic Abstractions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2908481)