Bibliography on the mathematics of program construction

[   About   |  Browse   |   Statistics   ]

Number of references:	360	Last update:	December 31, 1993
Number of online publications:	0	Supported:	no
Most recent reference:	July 1993

Information on the Bibliography

Editor:

Paul Hoogendijk <paulh @ win . tue . nl> (email mangled to prevent spamming)

Browsing the bibliography

• Original source:

  Used to be available at
  ftp://svin02.info.win.tue.nl/pub/math.prog.construction/bibliogr.bib
  but has disappeared.

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

Bibliographic Statistics

Types:

article(76), book(72), inproceedings(68), unpublished(49), techreport(48), incollection(24), phdthesis(17), proceedings(5), inbook(1)

Fields:

title(360), author(354), year(336), publisher(148), pages(133), booktitle(97), volume(87), journal(75), editor(72), month(70), number(69), note(59), institution(49), address(44), series(27), school(17), edition(6), type(5), organisation(3), place(3), key(2), optcrossref(1), optnote(1), optvolume(1), optyear(1), organization(1), part(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.