Login / Signup

NextClosures: parallel computation of the canonical base with background knowledge.

Francesco KriegelDaniel Borchmann
Published in: Int. J. Gen. Syst. (2017)
Keyphrases