Formal correctness of a quadratic unification algorithm

DOI10.1007/s10817-006-9030-5zbMath1113.68094OpenAlexW2079554395MaRDI QIDQ877825

María José Hidalgo, Francisco Jesús Martín-Mateos, José Luis Ruiz-Reina, Jose Antonio Alonso

Publication date: 3 May 2007

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

Full work available at URL: https://idus.us.es/handle//11441/86262

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Related Items (1)

Formalization of the resolution calculus for first-order logic

Uses Software

• ACL2
• LISP

Cites Work

• Formal proofs about rewriting using ACL2
• Term Rewriting and All That
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal correctness of a quadratic unification algorithm