dblp.uni-trier.dewww.uni-trier.de

Geoffrey D. Alexander Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
3 Geoffrey D. Alexander: CLIN-E - Smallest Instance First Hyper-Linking. J. Autom. Reasoning 18(2): 177-182 (1997)
1992
2EEGeoffrey D. Alexander, David A. Plaisted: Proving Equality Theorems with Hyper-Linking. CADE 1992: 706-710
1 David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee: Conditional Term Rewriting and First-Order Theorem Proving. CTRS 1992: 257-271

Coauthor Index

1Heng Chu [1]
2Shie-Jue Lee [1]
3David A. Plaisted [1] [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)