Kleene under a modal demonic star (Q817579): Difference between revisions

@@ Property / OpenAlex ID @@
+W2049680684
@@ Property / OpenAlex ID: W2049680684 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point calculus
@@ Property / cites work: Fixed-point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic operators and monotype factors
@@ Property / cites work: Demonic operators and monotype factors / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebraic semantics of deterministic and nondeterministic programs
+Normal rank
@@ Property / cites work @@
+On the lattice of specifications: Applications to a specification methodology
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding a demonic semilattice in a relation algebra
+Normal rank
@@ Property / cites work @@
+Q4362886
@@ Property / cites work: Q4362886 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673439
@@ Property / cites work: Q4673439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767186
@@ Property / cites work: Q2767186 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing determinacy in Kleene algebras
@@ Property / cites work: Characterizing determinacy in Kleene algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+An algebraic study of well-foundedness
@@ Property / cites work: An algebraic study of well-foundedness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicative programming Part II
@@ Property / cites work: Predicative programming Part II / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q3949940
@@ Property / cites work: Q3949940 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational heuristics for the design of deterministic programs
+Normal rank
@@ Property / cites work @@
+The new math of computer programming
@@ Property / cites work: The new math of computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325547
@@ Property / cites work: Q4325547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281676
@@ Property / cites work: Q4281676 / rank @@
+Normal rank