Formal correctness of a quadratic unification algorithm
From MaRDI portal
Publication:877825
DOI10.1007/s10817-006-9030-5zbMath1113.68094MaRDI QIDQ877825
Jose Antonio Alonso, Francisco Jesús Martín-Mateos, José Luis Ruiz-Reina, María José Hidalgo
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
68R10: Graph theory (including graph drawing) in computer science
Uses Software
Cites Work