Login / Signup

Obtaining Complete Sets of Reductions and Equations Without Using Special Unification Algorithms.

John Pedersen
Published in: European Conference on Computer Algebra (2) (1985)
Keyphrases