New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants

DOI10.1007/978-3-642-31365-3_32zbMath1358.03030OpenAlexW1865203519MaRDI QIDQ2908511

Paliath Narendran, Andrew M. Marshall

Publication date: 5 September 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_32

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35)

This page was built for publication: New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants