Formal correctness of a quadratic unification algorithm
From MaRDI portal
Publication:877825
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
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Formal correctness of a quadratic unification algorithm