Average-case analysis of Robinson's unification algorithm with two different variables

DOI10.1016/0020-0190(89)90078-1zbMath0681.68058OpenAlexW2013823532MaRDI QIDQ1823683

Yanyan Li

Publication date: 1989

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/188711

zbMATH Keywords

average complexityRobinson's unification algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Artificial intelligence (68T99)

Related Items (1)

Average-case analysis of unification algorithms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An Efficient Unification Algorithm
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Average-case analysis of Robinson's unification algorithm with two different variables