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

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

incollection(169), article(129), book(88), techreport(83), misc(27), phdthesis(21), inproceedings(15), unpublished(3), inbook(1), journal(1)
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!