Order-sorted algebraic specifications with higher-order functions (Q1391097): Difference between revisions

@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Order-sorted algebraic specifications with higher-order functions
+Normal rank
@@ Property / cites work @@
+Q3355246
@@ Property / cites work: Q3355246 / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusions and subtypes I: first-order case
@@ Property / cites work: Inclusions and subtypes I: first-order case / rank @@
+Normal rank
@@ Property / cites work @@
+Universal algebra in higher types
@@ Property / cites work: Universal algebra in higher types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809236
@@ Property / cites work: Q3809236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789048
@@ Property / cites work: Q3789048 / rank @@
+Normal rank
@@ Property / cites work @@
+On specifications, theories, and models with higher types
+Normal rank
@@ Property / cites work @@
+Higher-order order-sorted algebras
@@ Property / cites work: Higher-order order-sorted algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680192
@@ Property / cites work: Q4680192 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1391097