Reduction of cycle unification of type \(Cpg+r\)

DOI10.1007/BF02946610zbMath0893.68140MaRDI QIDQ1383467

Wolfgang Bibel, Yunfa Hu

Publication date: 20 April 1998

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

cycle unificationSLD resolution method

Mathematics Subject Classification ID

Cites Work

• Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming
• Properties of substitutions and unifications
• Implication of clauses is undecidable
• Unification theory

This page was built for publication: Reduction of cycle unification of type \(Cpg+r\)