A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
From MaRDI portal
Publication:3498409
Recommendations
- Multirelational models of lazy, monodic tree, and probabilistic Kleene algebras
- scientific article; zbMATH DE number 1735907
- Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
- Relational algebraic semantics of deterministic and nondeterministic programs
- A Relational Model of a Parallel and Non-deterministic λ-Calculus
- Probabilistic relational models of complete IL-semirings
- An efficient relational deductive system for propositional non-classical logics
- Algebraic Methodology and Software Technology
- Relational and Kleene-Algebraic Methods in Computer Science
- Publication:3203756
Cited in
(6)- Closure, properties and closure properties of multirelations
- Probabilistic relational models of complete IL-semirings
- An algebraic approach to multirelations and their properties
- Domain Axioms for a Family of Near-Semirings
- The cube of Kleene algebras and the triangular prism of multirelations
- Multirelational models of lazy, monodic tree, and probabilistic Kleene algebras
This page was built for publication: A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498409)