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

Karel Stokkermans <Karel . Stokkermans @ risc . uni-linz . ac . at> (email mangled to prevent spamming)
Johannes-Kepler University Linz
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.
category theory, rewriting, computer algebra

Browsing the bibliography

Bibliographic Statistics

article(78), inproceedings(63), techreport(49), book(25), misc(13), incollection(9), phdthesis(8), unpublished(6), proceedings(5)
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!