Regularity of relations: A measure of uniformity (Q2638796): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3048222
@@ Property / cites work: Q3048222 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339264
@@ Property / cites work: Q3339264 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3038593
@@ Property / cites work: Q3038593 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongest invariant functions: Their use in the systematic analysis of while statements
+Normal rank
@@ Property / cites work @@
+Specification methodology: An integrated relational approach
+Normal rank
@@ Property / cites work @@
+Relational heuristics for the design of deterministic programs
+Normal rank
@@ Property / cites work @@
+Q3790608
@@ Property / cites work: Q3790608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3886839
@@ Property / cites work: Q3886839 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalized control structure and its formal definition
+Normal rank
@@ Property / cites work @@
+A relational theory of computing
@@ Property / cites work: A relational theory of computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686039
@@ Property / cites work: Q5686039 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal specification of a display-oriented text editor
+Normal rank