Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Geoffrey D. Alexander

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1997
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/Alexander97
- ask others
Geoffrey D. Alexander: CLIN-E - Smallest Instance First Hyper-Linking. J. Autom. Reasoning 18(2): 177-182 (1997)
1992
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/AlexanderP92
- ask others
Geoffrey D. Alexander, David A. Plaisted: Proving Equality Theorems with Hyper-Linking. CADE 1992: 706-710
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ctrs/PlaistedACL92
- ask others
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

see FAQ

What is the meaning of the colors in the coauthor index?