Computing Publications

Publications Home » Automatic Generation of Classific...

Automatic Generation of Classification Theorems for Finite Algebras

Simon Colton, Andreas Meier, Volker Sorge, Roy McCasland

Conference or Workshop Paper
Second International Joint Conference on Automated Reasoning
August, 2004
PDF of full publication (201 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.