Automated Parameterisation of Finite Algebras

S Colton, Volker Sorge, G Sutcliffe, S Colton, S Schulz

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jul 2008
Event	Proceedings of the Workshop on Empirical Successful Automated Reasoning in Mathematics, (ESARM 2008) - Duration: 1 Jul 2008 → …

Conference	Proceedings of the Workshop on Empirical Successful Automated Reasoning in Mathematics, (ESARM 2008)
Period	1/07/08 → …

Cite this

@conference{472164c94e0b4321b3891b47f158e860,

title = "Automated Parameterisation of Finite Algebras",

author = "S Colton and Volker Sorge and G Sutcliffe and S Colton and S Schulz",

year = "2008",

month = jul,

day = "1",

language = "English",

note = "Proceedings of the Workshop on Empirical Successful Automated Reasoning in Mathematics, (ESARM 2008) ; Conference date: 01-07-2008",

}