Development graphs -- proof management for structured specifications (Q2369033): 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.jlap.2005.09.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2129292012
@@ Property / OpenAlex ID: W2129292012 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722016
@@ Property / cites work: Q2722016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737121
@@ Property / cites work: Q4737121 / rank @@
+Normal rank
@@ Property / cites work @@
+Module algebra
@@ Property / cites work: Module algebra / 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 @@
+Structured theories and institutions
@@ Property / cites work: Structured theories and institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Proof systems for structured specifications with observability operators
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708606
@@ Property / cites work: Q4708606 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764131
@@ Property / cites work: Q2764131 / rank @@
+Normal rank
@@ Property / cites work @@
+Composing Hidden Information Modules over Inclusive Institutions
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Essential concepts of algebraic specification and program development
+Normal rank
@@ Property / cites work @@
+Amalgamation in the semantics of CASL
@@ Property / cites work: Amalgamation in the semantics of CASL / rank @@
+Normal rank