Automatic generation of classification theorems for finite algebras

S Colton, Andreas Meier, Volker Sorge, R McCasland

Research output: Contribution to conference (unpublished) › Abstract

24 Citations (Scopus)

Original language	English
Publication status	Published - 1 Jan 2004
Event	11th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice - , United Kingdom Duration: 31 Mar 2004 → 1 Apr 2004

Conference	11th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Country/Territory	United Kingdom
Period	31/03/04 → 1/04/04

Cite this

@conference{4d9ca4d11fdd4c6f8ef1b315045151d0,

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

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

year = "2004",

month = jan,

day = "1",

language = "English",

note = "11th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice ; Conference date: 31-03-2004 Through 01-04-2004",

}