1993•Information Processing LettersRequires access
Constructor equivalent term rewriting systems
Irène Durand, Bruno Salinier
Open publisher page 7 citations
Abstract
This record does not include an abstract. Use the full-text link above if available.