Object oriented institutions to specify symbolic computation systems (Q5441547): Difference between revisions

@@ Property / author @@
-Julio Jesús Rubio García
@@ Property / author: Julio Jesús Rubio García / rank @@
-Normal rank
@@ Property / author @@
+Julio Jesús Rubio García
@@ Property / author: Julio Jesús Rubio García / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kenzo
@@ Property / describes a project that uses: Kenzo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+EAT
@@ Property / describes a project that uses: EAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2107791334
@@ Property / OpenAlex ID: W2107791334 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Observational logic, constructor-based logic, and their duality.
+Normal rank
@@ Property / cites work @@
+Q4265394
@@ Property / cites work: Q4265394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839054
@@ Property / cites work: Q3839054 / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic equational approach to specifying observational structures
+Normal rank
@@ Property / cites work @@
+Q3839055
@@ Property / cites work: Q3839055 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling inheritance as coercion in a symbolic computation system
+Normal rank
@@ Property / cites work @@
+Q4433988
@@ Property / cites work: Q4433988 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic specifications
@@ Property / cites work: Diagrammatic specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q4942101
@@ Property / cites work: Q4942101 / rank @@
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493908
@@ Property / cites work: Q4493908 / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+A hidden Herbrand theorem: Combining the object and logic paradigms
+Normal rank
@@ Property / cites work @@
+Constructor-based observational logic
@@ Property / cites work: Constructor-based observational logic / rank @@
+Normal rank
@@ Property / cites work @@
+On institutions for modular coalgebraic specifications.
+Normal rank
@@ Property / cites work @@
+An object-oriented interpretation of the EAT system
+Normal rank
@@ Property / cites work @@
+Q2785427
@@ Property / cites work: Q2785427 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive algebraic topology
@@ Property / cites work: Constructive algebraic topology / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782496
@@ Property / cites work: Q2782496 / rank @@
+Normal rank