Implementation and Analysis of the Todd-Coxeter Algorithm
Mathematics of Computation - United States
doi 10.1090/s0025-5718-1973-0335610-5
Full Text
Open PDFAbstract
Available in full text
Date
September 1, 1973
Authors
Publisher
American Mathematical Society (AMS)