The computable kernel of abstract state machines (Q959826): Difference between revisions

@@ Property / cites work @@
+The Church-Turing Thesis over Arbitrary Domains
@@ Property / cites work: The Church-Turing Thesis over Arbitrary Domains / rank @@
+Normal rank
@@ Property / cites work @@
+The ASM refinement method
@@ Property / cites work: The ASM refinement method / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385524
@@ Property / cites work: Q4385524 / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential abstract-state machines capture sequential algorithms
+Normal rank
@@ Property / cites work @@
+Q5833217
@@ Property / cites work: Q5833217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680195
@@ Property / cites work: Q4680195 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank