Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017-1029]

Alberto Arri, John Perry 0001. Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017-1029]. Journal of Symbolic Computation, 82:164-165, 2017. [doi]

Authors

Alberto Arri

This author has not been identified. Look up 'Alberto Arri' in Google

John Perry 0001

This author has not been identified. Look up 'John Perry 0001' in Google