Login / Signup
Completion for Multiple Reduction Orderings.
Masahito Kurihara
Hisashi Kondo
Published in:
J. Autom. Reason. (1999)
Keyphrases
</>
preprocessing
multiresolution