Generalized Theoroidal Institution Comorphisms (Q3184726): Difference between revisions

@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hets
@@ Property / describes a project that uses: Hets / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HasCasl
@@ Property / describes a project that uses: HasCasl / 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.1007/978-3-642-03429-9_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1780961396
@@ Property / OpenAlex ID: W1780961396 / rank @@
+Normal rank
@@ 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