Rewriting Bibliographies

• Michael Ley's DBLP: Computer Science Bibliography

• Some hardly accessible seminal publications in TCS, found by Pierre Lescanne.

• Nachum Dershowitz's Bibtex files

• The Collection of Computer Science Bibliographies

• CCL Bibliography

• The bibliography on Rewriting Logic and its Applications: with crossrefs, without crossrefs.

• Bibliography on Logical Frameworks (CMU)

---

Realized by Nachum Dershowitz and Laurent Vigneron.
Last modified: 30-Oct-2007.