Geoffrey D. Alexander

According to our database, Geoffrey D. Alexander authored at least 5 papers between 1981 and 1997.

Collaborative distances:

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

1997

CLIN-E - Smallest Instance First Hyper-Linking.

Geoffrey D. Alexander

J. Autom. Reason., 1997

1996

Propositional search efficiency and first-order theorem proving.

David A. Plaisted, Geoffrey D. Alexander

Proceedings of the Satisfiability Problem: Theory and Applications, 1996

1992

Conditional Term Rewriting and First-Order Theorem Proving.

David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

Proving Equality Theorems with Hyper-Linking.

Geoffrey D. Alexander, David A. Plaisted

Proceedings of the Automated Deduction, 1992

1981

A word processing application for inexperienced users.

Geoffrey D. Alexander

Proceedings of the 9th annual ACM SIGUCCS conference on User services, 1981