David Cerna,
"Anti-unification and the Theory of Semirings"
, in Theoretical Computer Science, Vol. 848, Seite(n) 133-139, 2020, ISSN: 0304-3975
Original Titel:
Anti-unification and the Theory of Semirings
Sprache des Titels:
Englisch
Original Kurzfassung:
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.
Forschungs-