"Anti-unification and the Theory of Semirings"
, in Theor. Comput. Sci., Serie RISC / CAS ICS, Vol. 848, Seite(n) 133--139, 2020, ISBN: 0304-3975
Anti-unification and the Theory of Semirings
Sprache des Titels:
It was recently shown that anti-unification over an equational theory consisting of only unit equations (more than one) is nullary. Such pure theories are artificial and are of little effect on practical aspects of anti-unification. In this work, we extend these nullarity results to the theory of semirings, a heavily studied theory with many practical applications. Furthermore, our argument holds over semirings with commutative multiplication and/or idempotent addition. We also cover a few open questions discussed in previous work.