Equational problems and disunification (Q1124372): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818292
@@ Property / cites work: Q3818292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785921
@@ Property / cites work: Q3785921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490949
@@ Property / cites work: Q3490949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198080
@@ Property / cites work: Q4198080 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic specification of abstract data types
+Normal rank
@@ Property / cites work @@
+Q3782762
@@ Property / cites work: Q3782762 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic proofs by induction in theories without constructors
+Normal rank
@@ Property / cites work @@
+Q3490955
@@ Property / cites work: Q3490955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776597
@@ Property / cites work: Q3776597 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit representation of terms defined by counter examples
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3490937
@@ Property / cites work: Q3490937 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707399
@@ Property / cites work: Q3707399 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0747-7171(89)80017-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2033074970
@@ Property / OpenAlex ID: W2033074970 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1124372