On the algebra of structured specifications (Q549182): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q65
@@ Property / Mathematics Subject Classification ID: 68Q65 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5918233
@@ Property / zbMATH DE Number: 5918233 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+module systems
@@ Property / zbMATH Keywords: module systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+module algebra
@@ Property / zbMATH Keywords: module algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+structured specification
@@ Property / zbMATH Keywords: structured specification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algebraic specification
@@ Property / zbMATH Keywords: algebraic specification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+institution theory
@@ Property / zbMATH Keywords: institution theory / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / 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/j.tcs.2011.04.008
+Normal rank
@@ Property / OpenAlex ID @@
+W1968752495
@@ Property / OpenAlex ID: W1968752495 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549182