The Collection of
Computer Science Bibliographies

Papers in category theory and other areas

[   About   |  Browse   |   Statistics   ]

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

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

Bibliographic Statistics

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

Valid XHTML 1.1!  Valid CSS!