Edinburgh Research Explorer

Classification results in quasigroup and loop theory via a combination of automated reasoning tools

Research output: Contribution to journalArticle

Standard

Classification results in quasigroup and loop theory via a combination of automated reasoning tools. / Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas.

In: Commentationes Mathematicae Universitatis Carolinae, Vol. 49, No. 2, 2008, p. 319-339.

Research output: Contribution to journalArticle

Harvard

Sorge, V, Colton, S, McCasland, R & Meier, A 2008, 'Classification results in quasigroup and loop theory via a combination of automated reasoning tools', Commentationes Mathematicae Universitatis Carolinae, vol. 49, no. 2, pp. 319-339. <http://www.emis.ams.org/journals/CMUC/pdf/cmuc0802/sorgecol.pdf>

APA

Sorge, V., Colton, S., McCasland, R., & Meier, A. (2008). Classification results in quasigroup and loop theory via a combination of automated reasoning tools. Commentationes Mathematicae Universitatis Carolinae, 49(2), 319-339. http://www.emis.ams.org/journals/CMUC/pdf/cmuc0802/sorgecol.pdf

Vancouver

Sorge V, Colton S, McCasland R, Meier A. Classification results in quasigroup and loop theory via a combination of automated reasoning tools. Commentationes Mathematicae Universitatis Carolinae. 2008;49(2):319-339.

Author

Sorge, Volker ; Colton, Simon ; McCasland, Roy ; Meier, Andreas. / Classification results in quasigroup and loop theory via a combination of automated reasoning tools. In: Commentationes Mathematicae Universitatis Carolinae. 2008 ; Vol. 49, No. 2. pp. 319-339.