On the existence of translations of structured specifications (Q458375): Difference between revisions

@@ 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.ipl.2014.08.007
+Normal rank
@@ Property / OpenAlex ID @@
+W1983571951
@@ Property / OpenAlex ID: W1983571951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Comorphisms of structured institutions
@@ Property / cites work: Comorphisms of structured institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+An encoding of partial algebras as total algebras
@@ Property / cites work: An encoding of partial algebras as total algebras / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to structuring specifications
+Normal rank
@@ Property / cites work @@
+On the algebra of structured specifications
@@ Property / cites work: On the algebra of structured specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations for structuring behavioural specifications
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818832
@@ Property / cites work: Q4818832 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Beth definability in institutions
@@ Property / cites work: Abstract Beth definability in institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ Property / cites work @@
+Q2782496
@@ Property / cites work: Q2782496 / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantic Account for Modularity in Multi-language Modelling of Search Problems
+Normal rank
@@ Property / cites work @@
+Parameterisation for abstract structured specifications
+Normal rank