Automatic generation of classification theorems for finite algebras

S Colton, A Meier, Volker Sorge, R McCasland

Research output: Contribution to conference (unpublished) › Paper

24 Citations (Scopus)

Original language	English
Pages	400-414
Number of pages	15
Publication status	Published - 1 Jan 2004
Event	2nd International Joint Conference on Automated Reasoning (IJCAR 2004), Jul 04-08, 2004. Cork, Ireland - Duration: 1 Jan 2004 → …

Conference	2nd International Joint Conference on Automated Reasoning (IJCAR 2004), Jul 04-08, 2004. Cork, Ireland
Period	1/01/04 → …

Cite this

@conference{9dee0707e94c496a8b20b67646de6691,

title = "Automatic generation of classification theorems for finite algebras",

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

year = "2004",

month = jan,

day = "1",

language = "English",

pages = "400--414",

note = "2nd International Joint Conference on Automated Reasoning (IJCAR 2004), Jul 04-08, 2004. Cork, Ireland ; Conference date: 01-01-2004",

}