Alberto Arri

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Information Retrieval

Criterion Function

Top Venues

J. Symb. Comput.

Publications

Alberto Arri, John Perry
Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017-1029]. J. Symb. Comput. 82 (2017)
Alberto Arri, John Perry
The F5 criterion revised. J. Symb. Comput. 46 (9) (2011)
Alberto Arri
The F5 criterion revised. ACM Commun. Comput. Algebra 42 (3) (2008)