The Collection of
Nachum Dershowitz's personal bibliography
[ About | Browse | Statistics ]
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 Keywords:
equational reasoning, term rewriting, termination, theorem proving, unification, program transformation
Original source: Used to be available at 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:
