Hints in Unification

DOI10.1007/978-3-642-03359-9_8zbMath1252.68246OpenAlexW2144645833MaRDI QIDQ3183522

Could not fetch data.

Publication date: 20 October 2009

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03359-9_8

Mathematics Subject Classification ID

Could not fetch data.