The Collection of
Computer Science Bibliographies

Bibliography relating to algebra, program specification and verification, and logic

[   About   |  Browse   |   Statistics   ]

Number of references:537Last update:August 26, 1997
Number of online publications:0Supported:no
Most recent reference:January 1992

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

Authors:
Rod Burstall <rb @ dcs . ed . ac . uk> (email mangled to prevent spamming)
Laboratory for the Foundations of Computer Science
University of Edinburgh

Razvan Diaconescu <Razvan . Diaconescu @ prg . ox . ac . uk> (email mangled to prevent spamming)
Programming Research Group
Oxford University

Browsing the bibliography

Bibliographic Statistics

Types:
incollection(169), article(129), book(88), techreport(83), misc(27), phdthesis(21), inproceedings(15), unpublished(3), inbook(1), journal(1)
Fields:
title(537), author(536), year(534), publisher(279), pages(277), note(210), booktitle(185), volume(132), journal(130), editor(128), number(110), institution(89), month(64), location(49), school(21), howpublished(6), edition(3), comment(2), editors(2), series(2), address(1), city(1), page(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!