1992•Theoretical Computer ScienceOpen access
Termination and completion modulo associativity, commutativity and identity
Jean-Pierre Jouannaud, Claude Marché
Open full text 17 citations
Abstract
This record does not include an abstract. Use the full-text link above if available.