The Collection of
Computer Science Bibliographies

Nachum Dershowitz's personal bibliography

Number of references:	5317	Last update:	September 7, 1998
Number of online publications:	86	Supported:	no
Most recent reference:	1998

Author:: Nachum Dershowitz <nachum @ cs . uiuc . edu> (email mangled to prevent spamming)
Department of Computer Science
University of Illinois at Urbana-Champaign
1304 West Springfield Avenue
Urbana, Illinois 61801-2987
USA
Keywords:: equational reasoning, term rewriting, termination, theorem proving, unification, program transformation

Original source:

Used to be available at
http://www-sal.cs.uiuc.edu/~nachum/bib/plaintext/
but has disappeared.
Local copy in BibTeX format (335 KB, compressed with gzip)

Types:: article(1438), inproceedings(1301), techreport(1024), misc(782), incollection(255), book(229), phdthesis(119), inbook(65), unpublished(44), proceedings(33), conference(9), mastersthesis(9), booklet(3), report(2), collection(1), journal(1), manual(1), techrepor(1)
Fields:: title(5298), author(5248), year(4333), pages(2718), address(2256), month(2098), volume(1600), number(1593), booktitle(1516), journal(1417), publisher(1041), institution(1023), note(813), editor(696), series(465), type(330), school(105), seriesvolume(82), annote(80), organization(63), ack(45), abstract(39), chapter(37), mynote(29), review(28), edition(15), topics(11), howpublished(6), directory(5), report(5), filename(4), key(4), location(3), notes(3), editors(2), ftp(2), addres(1), city(1), file(1), ignore(1), isbn(1), lar(1), mnemonic(1), ntoe(1), serie(1), url(1)
Distribution of publication dates: