مرکز منطقه ای اطلاع رساني علوم و فناوري - Knuth–Bendix completion of theories of commuting group endomorphisms

Title of article :

Knuth–Bendix completion of theories of commuting group endomorphisms

Author/Authors :

Aaron Stump، نويسنده , , Bernd L?chner، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2006

Pages :

From page :

195

To page :

198

Keywords :

Knuth–Bendix completion , group theory , Decision procedures , Automatic theorem proving

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

130251

Link To Document :