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

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

Browsing the bibliography

Bibliographic Statistics

Types:
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)
Fields:
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!