Procedure mechanisms of abstraction (Q595363): Difference between revisions

@@ Property / cites work @@
+Abstraction and verification in Alphard
@@ Property / cites work: Abstraction and verification in Alphard / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+The SL5 procedure mechanism
@@ Property / cites work: The SL5 procedure mechanism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178467
@@ Property / cites work: Q4178467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4127343
@@ Property / cites work: Q4127343 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric list processor
@@ Property / cites work: Symmetric list processor / rank @@
+Normal rank
@@ Property / cites work @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+Q4131064
@@ Property / cites work: Q4131064 / rank @@
+Normal rank