5 research outputs found
Knuth-Bendix for groups with infinitely many rules
No full textConsiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
No full text5 research outputs found
No full text