Mixed computation: potential applications and problems for study (Q1169808): Difference between revisions

@@ Property / author @@
-Andrei P. Ershov
@@ Property / author: Andrei P. Ershov / rank @@
-Normal rank
@@ Property / author @@
+Andrei P. Ershov
@@ Property / author: Andrei P. Ershov / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Refal
@@ Property / describes a project that uses: Refal / 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/0304-3975(82)90111-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2067693540
@@ Property / OpenAlex ID: W2067693540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195967
@@ Property / cites work: Q4195967 / rank @@
+Normal rank
@@ Property / cites work @@
+A partial evaluator, and its use as a programming tool
+Normal rank
@@ Property / cites work @@
+A synthesis of several sorting algorithms
@@ Property / cites work: A synthesis of several sorting algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A system which automatically improves programs
@@ Property / cites work: A system which automatically improves programs / rank @@
+Normal rank
@@ Property / cites work @@
+ALPHA—An Automatic Programming System of High Efficiency
+Normal rank
@@ Property / cites work @@
+On the partial computation principle
@@ Property / cites work: On the partial computation principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151136
@@ Property / cites work: Q4151136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3854598
@@ Property / cites work: Q3854598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134896
@@ Property / cites work: Q4134896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174760
@@ Property / cites work: Q4174760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental Computation
@@ Property / cites work: Incremental Computation / rank @@
+Normal rank
@@ Property / cites work @@
+On Interpreter-Oriented Definitions of Programming Languages
+Normal rank
@@ Property / cites work @@
+Q4195975
@@ Property / cites work: Q4195975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Äquivalente Transformationen für Flußdiagramme
@@ Property / cites work: Äquivalente Transformationen für Flußdiagramme / rank @@
+Normal rank
@@ Property / cites work @@
+The logic-termal equivalence is polynomial-time decidable
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1169808