Login / Signup

A Partial-Closure Canonicity Test to Increase the Efficiency of CbO-Type Algorithms.

Simon Andrews
Published in: ICCS (2014)
Keyphrases