The Collection of
Computer Science Bibliographies

Nachum Dershowitz's personal bibliography

[   About   |  Browse   |   Statistics   ]

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

Information on the Bibliography

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
equational reasoning, term rewriting, termination, theorem proving, unification, program transformation

Browsing the bibliography

Bibliographic Statistics

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)
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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!