Final algebra semantics and data type extensions (Q1131834): Difference between revisions

@@ Property / cites work @@
+Q5545978
@@ Property / cites work: Q5545978 / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105777
@@ Property / cites work: Q4105777 / rank @@
+Normal rank
@@ Property / cites work @@
+Realization is universal
@@ Property / cites work: Realization is universal / rank @@
+Normal rank
@@ Property / cites work @@
+On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
+Normal rank
@@ Property / cites work @@
+Q4168048
@@ Property / cites work: Q4168048 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel realization of systems, using factorizations and quotients in categories
+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 @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178466
@@ Property / cites work: Q4178466 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract data types and software validation
@@ Property / cites work: Abstract data types and software validation / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages: Correction
@@ Property / cites work: Semantics of context-free languages: Correction / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Proof techniques for hierarchically structured programs
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Continuation-Based Program Transformation Strategies
+Normal rank