Finite Model Theory Bibliography
I would like to bring to your attention a bibliography
for finite model theory that was started right after
the San Diego workshop in 1992. The bibliography can be consulted
and updated by anonymous ftp from UCSD (instructions below).
Unfortunately, no updates have been made since 1992.
It would be very useful to have this bibliography kept up-to-date.
You are encouraged to help do this by periodically
contributing your updates.
All the best,
--Victor Vianu (firstname.lastname@example.org)
Accessing and Updating the Bibliography
The finite model theory bibliography is accessible
by anonymous ftp at cs.ucsd.edu
The file is finitebib.bib in the directory pub.
To obtain the file connect to cs.ucsd.edu by anonymous ftp, then type
To update the file, follow this protocol:
- Get the file.
- Check the LOCK STATUS of the file (a comment line at the beginning
of the file). If the file status is LOCKED, you cannot update
the file -- someone else is about to do it. Otherwise, proceed.
- IMMEDIATELY after getting the file,
change the lock status comment line to "LOCKED by ... (your email)"
and put back the file via ftp and the commands
- Make your changes to the file. Please stick to the bibtex format and
do a test bibtex run to make sure there are no errors.
As soon as you are done, change the lock status to UNLOCKED
and put the file back via anonymous ftp using again the commands
Do not keep the file locked for extended periods.
Victor Vianu (email@example.com)