Geoffrey R. Hird

According to our database, Geoffrey R. Hird authored at least 5 papers between 1985 and 2002.

Collaborative distances:

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

2002

Automata techniques for query inference machines.

William I. Gasarch, Geoffrey R. Hird

Ann. Pure Appl. Log., 2002

1995

Reductions for Learning via Queries.

William I. Gasarch, Geoffrey R. Hird

Proceedings of the Eigth Annual Conference on Computational Learning Theory, 1995

1993

Recursive Properties of Relations on Models.

Geoffrey R. Hird

Ann. Pure Appl. Log., 1993

1990

Towards reuse of verified Ada software.

Geoffrey R. Hird

Proceedings of the conference on TRI-ADA 1990, 1990

1985

Automorphisms of Supermaximal Subspaces.

Rodney G. Downey, Geoffrey R. Hird

J. Symb. Log., 1985