Geoffrey D. Alexander

Publication Activity (10 Years)

Years Active: 1981-1997
Publications (10 Years): 0

Publications

Geoffrey D. Alexander
CLIN-E - Smallest Instance First Hyper-Linking. J. Autom. Reason. 18 (2) (1997)
David A. Plaisted, Geoffrey D. Alexander
Propositional search efficiency and first-order theorem proving. Satisfiability Problem: Theory and Applications (1996)
David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee
Conditional Term Rewriting and First-Order Theorem Proving. CTRS (1992)
Geoffrey D. Alexander, David A. Plaisted
Proving Equality Theorems with Hyper-Linking. CADE (1992)
Geoffrey D. Alexander
A word processing application for inexperienced users. SIGUCCS (1981)