Order-sorted Equational Unification Revisited (Q5166637): Difference between revisions

@@ Property / describes a project that uses @@
+Maude-NPA
@@ Property / describes a project that uses: Maude-NPA / 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.1016/j.entcs.2012.11.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2018282539
@@ Property / OpenAlex ID: W2018282539 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318032
@@ Property / Wikidata QID: Q113318032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264712
@@ Property / cites work: Q4264712 / 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 @@
+Q3792234
@@ Property / cites work: Q3792234 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted unification
@@ Property / cites work: Order-sorted unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678447
@@ Property / cites work: Q5678447 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in sort theories and its applications
@@ Property / cites work: Unification in sort theories and its applications / rank @@
+Normal rank