Generalized Theoroidal Institution Comorphisms (Q3184726): Difference between revisions

@@ Property / cites work @@
+Q4373553
@@ Property / cites work: Q4373553 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract and behaviour module specifications
@@ Property / cites work: Abstract and behaviour module specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Grothendieck institutions
@@ Property / cites work: Grothendieck institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3031906
@@ Property / cites work: Q3031906 / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning Support for Casl with Automated Theorem Proving Systems
+Normal rank
@@ Property / cites work @@
+Q4708606
@@ Property / cites work: Q4708606 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating CASL with other specification languages: the institution level.
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+HasCasl: Towards Integrated Specification and Development of Functional Programs
+Normal rank