Login / Signup

Reduction of finite and infinite derivations.

Grigori Mints
Published in: Ann. Pure Appl. Log. (2000)
Keyphrases