Semantic Difference in ALN
Alain M. Leger, Christophe Rey, Farouk Toumani · 2007
Abstract. We study the semantic difference operator defined in [16] for ALN. We give a polynomial-time algorithm to compute it. We compare it with the syntactic difference operator defined in [7], for which we also give a polynomial-time algorithm for ALN. 1