Denotation by Transformation (Q5504595): Difference between revisions

@@ Property / describes a project that uses @@
+TOY
@@ Property / describes a project that uses: TOY / 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.1007/978-3-540-78769-3_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1575848714
@@ Property / OpenAlex ID: W1575848714 / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative Programming with Function Patterns
@@ Property / cites work: Declarative Programming with Function Patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+A Relation Algebraic Semantics for a Lazy Functional Logic Language
+Normal rank
@@ Property / cites work @@
+Denotation by Transformation
@@ Property / cites work: Denotation by Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472878
@@ Property / cites work: Q5472878 / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Point-Free Program Transformation
@@ Property / cites work: A Framework for Point-Free Program Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in Kleene Algebra
@@ Property / cites work: Automated Reasoning in Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving structural hylomorphisms from recursive definitions
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5504595