A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint machines, state-behavior machines, and duality
+Normal rank
@@ Property / cites work @@
+Q3886881
@@ Property / cites work: Q3886881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026323
@@ Property / cites work: Q3026323 / rank @@
+Normal rank
@@ Property / cites work @@
+Vector Iteration in Pointed Iterative Theories
@@ Property / cites work: Vector Iteration in Pointed Iterative Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing schemes and their behaviors
@@ Property / cites work: Axiomatizing schemes and their behaviors / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777431
@@ Property / cites work: Q3777431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821553
@@ Property / cites work: Q3821553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3979473
@@ Property / cites work: Q3979473 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3826107
@@ Property / cites work: Q3826107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3485876
@@ Property / cites work: Q3485876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4734754
@@ Property / cites work: Q4734754 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of finite relations as initial abstract data types. I
+Normal rank
@@ Property / cites work @@
+Q3350764
@@ Property / cites work: Q3350764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729330
@@ Property / cites work: Q4729330 / 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 @@
+Q4165484
@@ Property / cites work: Q4165484 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919058
@@ Property / cites work: Q3919058 / rank @@
+Normal rank
@@ Property / cites work @@
+On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
+Normal rank
@@ Property / cites work @@
+Q5613193
@@ Property / cites work: Q5613193 / rank @@
+Normal rank
@@ Property / cites work @@
+Equidivisible semigroups
@@ Property / cites work: Equidivisible semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5751953
@@ Property / cites work: Q5751953 / rank @@
+Normal rank
@@ Property / cites work @@
+On flowchart theories. I. The deterministic case
@@ Property / cites work: On flowchart theories. I. The deterministic case / rank @@
+Normal rank
@@ Property / cites work @@
+On flowchart theories. II: The nondeterministic case
+Normal rank
@@ Property / cites work @@
+Q3851612
@@ Property / cites work: Q3851612 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(92)90171-b
+Normal rank
@@ Property / OpenAlex ID @@
+W1970645772
@@ Property / OpenAlex ID: W1970645772 / rank @@
+Normal rank