Partially additive categories and flow-diagram semantics (Q1137858): Difference between revisions

@@ 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/0021-8693(80)90212-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1991966579
@@ Property / OpenAlex ID: W1991966579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174692
@@ Property / cites work: Q4174692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152697
@@ Property / cites work: Q4152697 / rank @@
+Normal rank
@@ Property / cites work @@
+The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Scalar and vector iteration
@@ Property / cites work: Scalar and vector iteration / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4113375
@@ Property / cites work: Q4113375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4404458
@@ Property / cites work: Q4404458 / rank @@
+Normal rank
@@ Property / cites work @@
+A Perspective View of Discrete Automata and Their Design
+Normal rank
@@ Property / cites work @@
+Matricial theories
@@ Property / cites work: Matricial theories / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+Symposium on semantics of algorithmic languages
@@ Property / cites work: Symposium on semantics of algorithmic languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134935
@@ Property / cites work: Q4134935 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Continuous Time Markov Chains
@@ Property / cites work: Finite Continuous Time Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950708
@@ Property / cites work: Q3950708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Theorem of R. Jungen
@@ Property / cites work: On a Theorem of R. Jungen / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636307
@@ Property / cites work: Q5636307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4106370
@@ Property / cites work: Q4106370 / rank @@
+Normal rank