cs-conference-ranking.org Search 971 venues

The termination of the F5 algorithm revisited.

Senshan Pan, Yupu Hu, Baocang Wang

Year2013

ProceedingsISSAC

DBLP recordconf/issac/PanHW13 ↗

Browse the full ISSAC paper archive.