Kleene algebra of partial predicates
From MaRDI portal
Recommendations
- Algebraic Methodology and Software Technology
- Kleene algebra with hypotheses
- Relational and Kleene-Algebraic Methods in Computer Science
- Kleene algebras with implication
- Kleene algebra and modal logic
- On Kleene algebras
- Algebras and logics of partial quasiary predicates
- Varieties of pseudocomplemented Kleene algebras
- Kleene algebra with converse
- Kleene algebra with domain
Cites work
- scientific article; zbMATH DE number 4210141 (Why is no real title available?)
- scientific article; zbMATH DE number 1192208 (Why is no real title available?)
- scientific article; zbMATH DE number 52771 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 651728 (Why is no real title available?)
- scientific article; zbMATH DE number 1046390 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Algebras and logics of partial quasiary predicates
- An algebraic approach to non-classical logics
- An axiomatic basis for computer programming
- Caracterisation des algèbres de Nelson par des egalités, I
- Event-based proof of the mutual exclusion property of Peterson's algorithm
- Implementation of the composition-nominative approach to program formalization in Mizar
- Injective de Morgan and Kleene Algebras
- Lattices With Involution
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
- On representations of abstract systems with partial inputs and outputs
- Proving properties of programs on hierarchical nominative data
- Robbins algebras vs. Boolean algebras
- Semantic properties of T-consequence relation in logics of quasiary predicates
- Simple-named complex-valued nominative data -- definition and basic operations
Cited in
(12)- Partial correctness of a Fibonacci algorithm
- An inference system of an extension of Floyd-Hoare logic for partial predicates
- On algebras of algorithms and specifications over uninterpreted data
- Partial correctness of GCD algorithm
- Partial correctness of a factorial algorithm
- Partial correctness of a power algorithm
- Algebraic Methodology and Software Technology
- General theory and tools for proving algorithms in nominative data systems
- Partial correctness of an algorithm computing Lucas sequences
- An algebraic study of exactness in partial contexts
- Implementation of the composition-nominative approach to program formalization in Mizar
- On an algorithmic algebra over simple-named complex-valued nominative data
This page was built for publication: Kleene algebra of partial predicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1796766)
