An algebraic approach to the syntax and semantics of languages with subscripted variables (Q1053444): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completion of partial algebras
@@ Property / cites work: On the completion of partial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322163
@@ Property / cites work: Q3322163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / 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 @@
+Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs"
+Normal rank
@@ Property / cites work @@
+Assignment and Procedure Call Proof Rules
@@ Property / cites work: Assignment and Procedure Call Proof Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912055
@@ Property / cites work: Q3912055 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras with a Scheme of Operators
@@ Property / cites work: Algebras with a Scheme of Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124287
@@ Property / cites work: Q4124287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138097
@@ Property / cites work: Q4138097 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial morphisms on partial algebras
@@ Property / cites work: Partial morphisms on partial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about arrays
@@ Property / cites work: Reasoning about arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Q5730920
@@ Property / cites work: Q5730920 / rank @@
+Normal rank