This directory has publications of Allen Van Gelder.

This directory has no index.html so that all files are visible to a browser.
Select ALLBIBS.html for a clickable page of some files, i.e.,
a proxy index.html.  Some pdf files may be "Not found"; see below.

The naming scheme is that xyz.bib is the bibtex entry for xyz.pdf.
You might find xyz.ps or xyz.ps.gz, but these might not remain for long.
If you do find one of these, it is the same content as xyz.pdf.

ALLBIBS.bib collects *.bib to facilitate a text search.
Each entry is preceded by a bibtex comment line naming the file.
For example, if the bibtex entry in amai04.bib looks like something
you want, the file itself is amai04.pdf.

If there is no corresponding pdf file, please contact me or one of the
other authors.  I may have a paper copy.

Readers may note that my name is entered as "Van Gelder, Allen" in the
*.bib files.  This seems to be the surest way to tell bibtex about a
multi-word last name.  It alphabetizes correctly under "V" and it
does not assume the name is really "van Gelder" (which would alphabetize
under "G").

Most ALLBIBS.* files are generated by COMBINE.csh, which uses BIBtoHREF.awksh,
and calls latex, dvips, and various unix utilities.
The following files are related to the generation process.
Readers are welcome to copy them.

ALLBIBS.bbl
ALLBIBS.bib
ALLBIBS.dvi
ALLBIBS.html
ALLBIBS.ps
ALLBIBS.tex
BIBtoHREF.awksh
COMBINE.csh

--Allen Van Gelder, Dec. 15, 2006