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

@@ 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
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of the Beth definability theorem
+Normal rank
@@ Property / cites work @@
+Module algebra
@@ Property / cites work: Module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Algebraic Specifications of the Rational Complex Numbers
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical systems for structured specifications.
@@ Property / cites work: Logical systems for structured specifications. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak inclusion systems
@@ Property / cites work: Weak inclusion systems / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Diagrams in Institutions
@@ Property / cites work: Elementary Diagrams in Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of Craig interpolation theorem
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995276
@@ Property / cites work: Q3995276 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+An Oxford survey of order sorted algebra
@@ Property / cites work: An Oxford survey of order sorted algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
+Normal rank
@@ Property / cites work @@
+Composing Hidden Information Modules over Inclusive Institutions
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+A semantic approach to interpolation
@@ Property / cites work: A semantic approach to interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizability in inclusive equational logics
@@ Property / cites work: Axiomatizability in inclusive equational logics / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549182