Greg Butler

From MaRDI portal
Person:672502

Available identifiers

zbMath Open butler.gregMaRDI QIDQ672502

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q47388662004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44403252003-12-16Paper
Object-oriented design of the subsumption architecture2002-04-08Paper
https://portal.mardi4nfdi.de/entity/Q27298962001-09-30Paper
https://portal.mardi4nfdi.de/entity/Q42342481999-09-08Paper
https://portal.mardi4nfdi.de/entity/Q42373971999-08-11Paper
Easy verification of behavioural subtyping in common cases1997-02-28Paper
https://portal.mardi4nfdi.de/entity/Q48662111996-08-13Paper
The transitive groups of degree fourteen and fifteen1995-05-23Paper
An Inductive Schema for Computing Conjugacy Classes in Permutation Groups1995-03-22Paper
On Holt's algorithm1993-08-25Paper
https://portal.mardi4nfdi.de/entity/Q40387421993-05-18Paper

Research outcomes over time

This page was built for person: Greg Butler

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:672502&oldid=6006234"
Powered by MediaWiki