An axiomatic approach to structuring specifications (Q428861): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2012.03.001
@@ Property / DOI: 10.1016/j.tcs.2012.03.001 / 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.2012.03.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1976775061
@@ Property / OpenAlex ID: W1976775061 / 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 @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized interpolation in CASL
@@ Property / cites work: Generalized interpolation in CASL / 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 @@
+Q5472873
@@ Property / cites work: Q5472873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875304
@@ Property / cites work: Q4875304 / 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 @@
+Interpolation in Grothendieck institutions
@@ Property / cites work: Interpolation in Grothendieck institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+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 @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+On a generalized modularization theorem
@@ Property / cites work: On a generalized modularization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995276
@@ Property / cites work: Q3995276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824395
@@ Property / cites work: Q3824395 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Composing Hidden Information Modules over Inclusive Institutions
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of the Robinson consistency theorem
+Normal rank
@@ Property / cites work @@
+Q3204067
@@ Property / cites work: Q3204067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5736158
@@ Property / cites work: Q5736158 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Development graphs -- proof management for structured specifications
+Normal rank
@@ Property / cites work @@
+What is a logic translation?
@@ Property / cites work: What is a logic translation? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311059
@@ Property / cites work: Q5311059 / 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 @@
+Axiomatizability in inclusive equational logics
@@ Property / cites work: Axiomatizability in inclusive equational logics / rank @@
+Normal rank
@@ Property / cites work @@
+A simple algebraic proof of the equational interpolation theorem
+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 @@
+Q2711810
@@ Property / cites work: Q2711810 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776610
@@ Property / cites work: Q3776610 / 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
@@ Property / cites work @@
+A Semantic Account for Modularity in Multi-language Modelling of Search Problems
+Normal rank
@@ Property / cites work @@
+On pushout consistency, modularity and interpolation for logical specifications
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2012.03.001
@@ Property / DOI: 10.1016/J.TCS.2012.03.001 / rank @@
+Normal rank