Variant-based equational anti-unification

DOI10.1007/978-3-031-16767-6_3zbMath1522.68251MaRDI QIDQ6160760

Could not fetch data.

Publication date: 2 June 2023

Published in: (Search for Journal in Brave)

Mathematics Subject Classification ID

Could not fetch data.