The Collection of
Computer Science Bibliographies

Papers in category theory and other areas

Number of references:	256	Last update:	August 27, 1997
Number of online publications:	0	Supported:	no
Most recent reference:	1993

Author:: Karel Stokkermans <Karel . Stokkermans @ risc . uni-linz . ac . at> (email mangled to prevent spamming)
RISC-Linz
Johannes-Kepler University Linz
Austria
Abstract:: This is just a collection of papers I encountered in my quest for finding a categorical model for critical-pair/completion procedures. It is not even nearly exhaustive in any subject, but concentrates mainly on topics in category theory, rewriting, and computer algebra.
Keywords:: category theory, rewriting, computer algebra

Original source:

Used to be available at
http://info.risc.uni-linz.ac.at:70/0/local/library/bib/kstokker.bib
but has disappeared.
Local copy in BibTeX format (18 KB, compressed with gzip)

Types:: article(78), inproceedings(63), techreport(49), book(25), misc(13), incollection(9), phdthesis(8), unpublished(6), proceedings(5)
Fields:: title(255), year(255), author(247), pages(145), address(109), publisher(85), volume(80), journal(78), booktitle(72), editor(63), number(60), institution(49), month(40), note(19), howpublished(12), school(8), series(7), type(4), edition(2), privnote(2), chapter(1), engtitle(1)
Distribution of publication dates: