Classification Results in Quasigroup and Loop Theory via a Combination of Automated Reasoning Tools

Volker Sorge, S Colton, R McCasland, A Meier

Research output: Contribution to journal › Article

10 Citations (Scopus)

Original language	English
Pages (from-to)	319-340
Number of pages	22
Journal	Commentationes Mathematicae Universitatis Carolinae
Volume	49
Issue number	2
Publication status	Published - 1 Mar 2008

Access to Document

@article{f0bcd5b971d1463595607300081320f4,

title = "Classification Results in Quasigroup and Loop Theory via a Combination of Automated Reasoning Tools",

author = "Volker Sorge and S Colton and R McCasland and A Meier",

year = "2008",

month = mar,

day = "1",

language = "English",

volume = "49",

pages = "319--340",

journal = "Commentationes Mathematicae Universitatis Carolinae",

issn = "1213-7243",

publisher = "Univerzita Karlova v Praze",

number = "2",

}

TY - JOUR

T1 - Classification Results in Quasigroup and Loop Theory via a Combination of Automated Reasoning Tools

AU - Sorge, Volker

AU - Colton, S

AU - McCasland, R

AU - Meier, A

PY - 2008/3/1

Y1 - 2008/3/1

M3 - Article

SN - 1213-7243

VL - 49

SP - 319

EP - 340

JO - Commentationes Mathematicae Universitatis Carolinae

JF - Commentationes Mathematicae Universitatis Carolinae

IS - 2

ER -