Computable stack functions for semantics of stack programs (Q1137385): Difference between revisions

@@ Property / author @@
-Giorgio Germano
@@ Property / author: Giorgio Germano / rank @@
-Normal rank
@@ Property / author @@
-Andrea Maggiolo-Schettini
@@ Property / author: Andrea Maggiolo-Schettini / rank @@
-Normal rank
@@ Property / author @@
+Giorgio Germano
@@ Property / author: Giorgio Germano / rank @@
+Normal rank
@@ Property / author @@
+Andrea Maggiolo-Schettini
@@ Property / author: Andrea Maggiolo-Schettini / 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/0022-0000(79)90024-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2061393234
@@ Property / OpenAlex ID: W2061393234 / rank @@
+Normal rank
@@ Property / cites work @@
+ITERATION AND RECURSION
@@ Property / cites work: ITERATION AND RECURSION / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612462
@@ Property / cites work: Q5612462 / rank @@
+Normal rank
@@ Property / cites work @@
+An arithmetical reconstruction of the liar's antinomy using addition and multiplication
+Normal rank
@@ Property / cites work @@
+A flow diagram composition of Markov's normal algorithms without concluding formulas
+Normal rank
@@ Property / cites work @@
+Equivalence of partial recursivity and computability by algorithms without concluding formulas
+Normal rank
@@ Property / cites work @@
+Q4087154
@@ Property / cites work: Q4087154 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequence-to-sequence recursiveness
@@ Property / cites work: Sequence-to-sequence recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Proving a compiler correct: A simple approach
@@ Property / cites work: Proving a compiler correct: A simple approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q4107887
@@ Property / cites work: Q4107887 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732648
@@ Property / cites work: Q5732648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5330638
@@ Property / cites work: Q5330638 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856762
@@ Property / cites work: Q3856762 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3877026
@@ Property / cites work: Q3877026 / rank @@
+Normal rank
@@ Property / cites work @@
+General Recursive Functions
@@ Property / cites work: General Recursive Functions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1137385