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

@@ Property / author @@
+Wolfgang Reisig
@@ Property / author: Wolfgang Reisig / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2008.08.041
+Normal rank
@@ Property / OpenAlex ID @@
+W1977996496
@@ Property / OpenAlex ID: W1977996496 / rank @@
+Normal rank
@@ 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