Bibliography on term rewriting systems

[   About   |  Browse   |   Statistics   ]

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

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:

term rewriting, unification, theorem proving, equational theory

Browsing the bibliography

• Original source:

  http://www-sal.cs.uiuc.edu... (Format: bibtex, compressed with gzip)

Bibliographic Statistics

Types:

inproceedings(413), techreport(306), article(303), misc(273), incollection(59), book(27), phdthesis(25), proceedings(15), inbook(11), unpublished(10), mastersthesis(4), collection(1), conference(1)

Fields:

title(1440), author(1425), year(1213), address(767), pages(700), month(682), volume(534), booktitle(481), number(414), publisher(395), editor(314), institution(307), journal(298), series(283), note(259), type(108), annote(41), school(28), organization(25), topics(14), chapter(11), directory(10), filename(9), key(5), howpublished(4), location(4), report(3), edition(2), optaddress(2), optmonth(2), abstract(1), addres(1), file(1), institute(1), isbn(1), mynote(1), notes(1), nuber(1), serie(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.