Normal design algebra (Q844885): Difference between revisions

@@ Property / OpenAlex ID @@
+W2031460417
@@ Property / OpenAlex ID: W2031460417 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point calculus
@@ Property / cites work: Fixed-point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4136536
@@ Property / cites work: Q4136536 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebraic semantics of deterministic and nondeterministic programs
+Normal rank
@@ Property / cites work @@
+Q4192046
@@ Property / cites work: Q4192046 / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model of data for large shared data banks
+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 @@
+Q3619797
@@ Property / cites work: Q3619797 / 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 @@
+Algebraic Notions of Termination
@@ Property / cites work: Algebraic Notions of Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene under a modal demonic star
@@ Property / cites work: Kleene under a modal demonic star / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Algebraically complete semirings and Greibach normal form
+Normal rank
@@ Property / cites work @@
+Theory of program structures: Schemes, semantics, verification
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Relations
@@ Property / cites work: Lazy Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Design Algebra
@@ Property / cites work: Modal Design Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144762
@@ Property / cites work: Q4144762 / rank @@
+Normal rank
@@ Property / cites work @@
+Programs, Recursion and Unbounded Choice
@@ Property / cites work: Programs, Recursion and Unbounded Choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+Omega Algebra, Demonic Refinement Algebra and Commands
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in Kleene Algebra
@@ Property / cites work: Automated Reasoning in Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / 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 @@
+The Linear Algebra of UTP
@@ Property / cites work: The Linear Algebra of UTP / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996676
@@ Property / cites work: Q3996676 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325547
@@ Property / cites work: Q4325547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362876
@@ Property / cites work: Q4362876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041054
@@ Property / cites work: Q4041054 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Algebra with Operators for Enabledness and Termination
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Towards a refinement algebra
@@ Property / cites work: Towards a refinement algebra / rank @@
+Normal rank