Login / Signup

Unbounded Proof-Length Speed-Up in Deduction Modulo.

Guillaume Burel
Published in: CSL (2007)
Keyphrases