Login / Signup

Minimal Relative Normalization in Orthogonal Expression Reduction Systems.

John R. W. GlauertZurab Khasidashvili
Published in: FSTTCS (1996)
Keyphrases