Nachum Dershowitz's personal bibliography

[   About   |  Browse   |   Statistics   ]

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

Search the bibliography

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

• 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)

Bibliographic Statistics

Types:

article(1438), inproceedings(1301), techreport(1024), misc(782), incollection(255), book(228), phdthesis(119), inbook(65), unpublished(44), proceedings(27), conference(9), mastersthesis(9), booklet(3), report(2), collection(1), journal(1), manual(1), techrepor(1)

Fields:

title(5291), author(5247), year(4327), pages(2718), address(2250), month(2092), volume(1600), number(1593), booktitle(1516), journal(1417), publisher(1034), 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:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.