Competing for the \(AC\)-unification race

DOI10.1007/BF00881905zbMath0802.68137MaRDI QIDQ1319390

Alexandre Boudet

Publication date: 18 December 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

performanceunificationlogic programmingterm rewritingautomated theorem provingequation solving

Mathematics Subject Classification ID

Related Items (3)

“Syntactic” AC-unification ⋮ Nominal AC-matching ⋮ AC-unification race: The system solving approach, implementation and benchmarks

Cites Work

• Matching - a special case of unification?
• Associative-commutative unification
• Efficient solution of linear diophantine equations
• An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
• A Unification Algorithm for Associative-Commutative Functions
• An Efficient Unification Algorithm
• A data structure for manipulating priority queues
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Competing for the \(AC\)-unification race