Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405): Difference between revisions

@@ Property / author @@
+Joseph A. Goguen
@@ Property / author: Joseph A. Goguen / rank @@
+Normal rank
@@ Property / author @@
+Rod M. Burstall
@@ Property / author: Rod M. Burstall / 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(84)90036-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2060842554
@@ Property / OpenAlex ID: W2060842554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063610
@@ Property / cites work: Q4063610 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134935
@@ Property / cites work: Q4134935 / rank @@
+Normal rank
@@ 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 @@
+Q5674963
@@ Property / cites work: Q5674963 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698294
@@ Property / cites work: Q3698294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4188716
@@ Property / cites work: Q4188716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160385
@@ Property / cites work: Q4160385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143228
@@ Property / cites work: Q4143228 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962973
@@ Property / cites work: Q3962973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880309
@@ Property / cites work: Q3880309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Remarks Concerning Categories and Subspaces
@@ Property / cites work: Some Remarks Concerning Categories and Subspaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / 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 @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950708
@@ Property / cites work: Q3950708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145866
@@ Property / cites work: Q4145866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679005
@@ Property / cites work: Q5679005 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Type Specification: Parameterization and the Power of Specification Techniques
+Normal rank