Reduction of cycle unification of type \(Cpg+r\) (Q1383467): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of substitutions and unifications
@@ Property / cites work: Properties of substitutions and unifications / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming
+Normal rank
@@ Property / cites work @@
+Implication of clauses is undecidable
@@ Property / cites work: Implication of clauses is undecidable / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1383467