The Collection of
Computer Science Bibliographies

Nachum Dershowitz's personal bibliography

[   About   |  Browse   |   Statistics   ]

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

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

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(781), 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(5297), author(5247), year(4332), pages(2717), address(2256), month(2098), volume(1599), number(1593), booktitle(1514), 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!