Algebraic-grammatical models of parallel computation (Q1910963): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3343451
@@ Property / cites work: Q3343451 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4154035
@@ Property / cites work: Q4154035 / rank @@
+Normal rank
@@ Property / cites work @@
+Multilevel structured program designs and correctness proving
+Normal rank
@@ Property / cites work @@
+Certain problems of the theory of structured program schemes
+Normal rank
@@ Property / cites work @@
+Identical transformations in algebras of nondeterministic algorithms. I
+Normal rank
@@ Property / cites work @@
+Program schemata with monotone operators
@@ Property / cites work: Program schemata with monotone operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055144
@@ Property / cites work: Q4055144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3790615
@@ Property / cites work: Q3790615 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960098
@@ Property / cites work: Q3960098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4746796
@@ Property / cites work: Q4746796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105230
@@ Property / cites work: Q4105230 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactically correct multilevel structured program design
+Normal rank