Brian T. Graham

According to our database, Brian T. Graham authored at least 4 papers between 1989 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1995

Tagged Up/Down Sorter - A Hardware Priority Queue.

Simon W. Moore, Brian T. Graham

Comput. J., 1995

1994

An Interpretation of NODEN in HOL.

Brian T. Graham

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Towards a verified MiniSML/SECD system.

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

Softw. Eng. J., 1993

1989

Formalising the Design of an SECD chip.

Brian T. Graham, Graham M. Birtwistle

Proceedings of the Hardware Specification, 1989