Idempotent Anti-unification

DOI10.1145/3359060zbMath1433.68188OpenAlexW2988302838WikidataQ126852733 ScholiaQ126852733MaRDI QIDQ4972174

David M. Cerna, Temur Kutsia

Publication date: 22 November 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3359060

zbMATH Keywords

generalizationidempotenceregular tree grammaranti-unification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (4)

Order-sorted equational generalization algorithm revisited ⋮ Variant-based equational anti-unification ⋮ Anti-unification and the theory of semirings ⋮ Higher-order pattern generalization modulo equational theories

This page was built for publication: Idempotent Anti-unification