Certifying solutions to permutation group problems (2003)

Cached

Download Links

by Arjeh Cohen , Scott H. Murray , Martin Pollet , Volker Sorge
Venue:In F. Baader, ed, CADE-19, LNAI 2741
Citations:12 - 0 self