Greg Butler

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 2087860 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2018585 (Why is no real title available?)	2003-12-16	Paper
Object-oriented design of the subsumption architecture Software. Practice & Experience	2002-04-08	Paper
scientific article; zbMATH DE number 1630094 (Why is no real title available?)	2001-09-30	Paper
scientific article; zbMATH DE number 1263367 (Why is no real title available?)	1999-09-08	Paper
scientific article; zbMATH DE number 1273664 (Why is no real title available?)	1999-08-11	Paper
Easy verification of behavioural subtyping in common cases Information Processing Letters	1997-02-28	Paper
scientific article; zbMATH DE number 850191 (Why is no real title available?)	1996-08-13	Paper
The transitive groups of degree fourteen and fifteen Journal of Symbolic Computation	1995-05-23	Paper
An Inductive Schema for Computing Conjugacy Classes in Permutation Groups	1995-03-22	Paper
On Holt's algorithm Journal of Symbolic Computation	1993-08-25	Paper
scientific article; zbMATH DE number 177863 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Greg Butler