Todd Simpson

THE ARCHITECTURE OF HENDERSON'S SECD MACHINE

Graham Birtwistle, Brian T. Graham, Todd Simpson, 1989 .

A Formal Hdl and Its Use in the Fm9001 Verication a Formal Hdl and Its Use in the Fm9001 Verication Technical Report #79 16 References a Formal Hdl and Its Use in the Fm9001 Verication Technical Report #79

Konrad Slind, Graham Birtwistle, Steven D. Johnson, 2007 .

Three generalizations of Weyl's denominator formula

Todd Simpson, Todd Simpson, 1996, Electron. J. Comb..

Towards a verified MiniSML/SECD system

Brian T. Graham, Graham M. Birtwistle, Todd Simpson, 1993, Softw. Eng. J..