The Collection of
Computer Science Bibliographies

Categorical Logic In Computer Science Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:2272Last update:December 11, 1998
Number of online publications:152Supported:no
Most recent reference:September 1998

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

Ian Mackie <mackie @ lix . polytechnique . fr> (email mangled to prevent spamming)
Laboratoire d'Informatique
Ecole Polytechnique
91128 Palaiseau Cedex
theoretical computer science, category theory

Browsing the bibliography

Bibliographic Statistics

article(620), inproceedings(587), book(372), incollection(196), techreport(163), unpublished(130), phdthesis(86), misc(39), proceedings(35), mastersthesis(12), collection(8), conference(8), booklet(4), inbook(3), lecture(2), manual(2), patent(2), radiobroadcast(2), monograph(1)
title(2227), author(2194), year(2153), pages(1240), publisher(845), volume(839), booktitle(819), journal(608), editor(410), note(409), series(355), number(349), month(322), annote(250), address(240), organization(175), institution(170), camlib(141), subject(134), city(128), authors(122), school(98), type(92), size(89), isbn(82), abstract(78), checked(71), review(69), xref(52), url(34), issn(33), place(32), coden(31), dates(24), qmwlib(24), dvi-url(22), libcongress(22), crossref(21), crossrefonly(21), comment(19), seriestitle(19), camul(18), keywords(18), howpublished(17), location(17), callno(14), editors(13), entered(12), comments(11), conferenceat(11), libcong(11), amssubj(10), bibdate(10), iclib(9), department(8), references(8), booksubtitle(7), key(7), edition(6), chapter(5), issue(5), lib-congress(5), libcongr(5), ps-url(5), conferencedate(4), acknowledgement(3), organisation(3), page(3), publishedby(3), remarks(3), affiliation(2), ams-subj(2), classification(2), collection(2), confdate(2), conference(2), conflocation(2), confsponsor(2), file(2), ftpaddress(2), heldat(2), heldyear(2), http-url(2), language(2), lccn(2), optnote(2), pubcountry(2), publisheraddress(2), reportfilename(2), sjb(2), thesaurus(2), uniformtitle(2), vol(2), annotation(1), begun(1), book(1), conferenceyear(1), contents(1), fullauthor(1), in(1), latex-url(1), lib-congr(1), library(1), node(1), notee(1), notes(1), oldkey(1), publihser(1), reprinted(1), sizxe(1), society(1), subtitle(1), updated(1), volumen(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!