Deterministic and nondeterministic flowchart interpretations (Q796975): Difference between revisions

@@ Property / cites work @@
+Partially additive categories and flow-diagram semantics
+Normal rank
@@ Property / cites work @@
+The existence and construction of free iterative theories
+Normal rank
@@ Property / cites work @@
+Infinite trees in normal form and recursive equations having a unique solution
+Normal rank
@@ Property / cites work @@
+The common algebraic structure of exit-automata and machines
+Normal rank
@@ Property / cites work @@
+Q5636309
@@ Property / cites work: Q5636309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Programming With and Without go to Statements
+Normal rank
@@ Property / cites work @@
+Matricial theories
@@ Property / cites work: Matricial theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4197330
@@ Property / cites work: Q4197330 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II
+Normal rank
@@ Property / cites work @@
+Regular trees and the free iterative theory
@@ Property / cites work: Regular trees and the free iterative theory / rank @@
+Normal rank
@@ Property / cites work @@
+On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
+Normal rank
@@ Property / cites work @@
+Theory of program structures: Schemes, semantics, verification
+Normal rank
@@ Property / cites work @@
+Q3877831
@@ Property / cites work: Q3877831 / rank @@
+Normal rank
@@ Property / cites work @@
+On modules over a semiring
@@ Property / cites work: On modules over a semiring / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612497
@@ Property / cites work: Q5612497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666704
@@ Property / cites work: Q5666704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4176939
@@ Property / cites work: Q4176939 / rank @@
+Normal rank