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: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

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

Browsing the bibliography

Bibliographic Statistics

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

Valid XHTML 1.1!  Valid CSS!