Login / Signup

CHR: A Constructive Relevant Natural-deduction Logic.

Neil LeslieEdwin D. Mares
Published in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases