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

[   About   |  Browse   |   Statistics   ]

Number of references:	537	Last update:	January 20, 1994
Number of online publications:	0	Supported:	no
Most recent reference:	January 1992

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

• Original source:

  Used to be available at
  ftp://colonsay.dcs.ed.ac.uk/pub/rb/rbversion/tex.bib
  but has disappeared.

• Local copy in BibTeX format (40 KB, compressed with gzip)

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:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.