Papers in category theory and other areas

[   About   |  Browse   |   Statistics   ]

Number of references:	255	Last update:	January 9, 1995
Number of online publications:	0	Supported:	no
Most recent reference:	1993

Search the bibliography

Information on the Bibliography

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

Browsing the bibliography

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

Bibliographic Statistics

Types:

article(77), inproceedings(63), techreport(49), book(25), misc(13), incollection(9), phdthesis(8), unpublished(6), proceedings(5)

Fields:

title(255), year(254), author(246), pages(144), address(109), publisher(85), volume(79), journal(77), 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:

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.