The Collection of
Computer Science Bibliographies

Bibliography for Relational Methods in Computer Science - RelMiCS

[   About   |  Browse   |   Statistics   ]

Number of references:1416Last update:October 24, 2001
Number of online publications:0Supported:no
Most recent reference:March 2001

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:
Wolfram Kahl <kahl @ ist . unibw-muenchen . de> (email mangled to prevent spamming)
Institute for Software Technology
Department of Computing Science
Federal Armed Forces University Munich
Abstract:
Relational Methods in Computer Science (RelMiCS): Foundations and applications of relation algebra and other relational methods, particularly in their uses towards analysing, modelling or resolving computer science problems such as program specification, heuristic approaches for program derivation, automatic prover design, database and software decomposition, program fault tolerance, testing, data abstraction and information coding, spatial reasoning.
Keywords:
relation algebra, relational methods, allegory

Browsing the bibliography

Bibliographic Statistics

Types:
article(519), inproceedings(304), book(154), techreport(137), proceedings(99), incollection(72), phdthesis(47), booklet(32), unpublished(24), misc(21), mastersthesis(6), manual(1)
Fields:
title(1414), year(1383), author(1300), pages(874), volume(735), publisher(570), journal(524), booktitle(468), editor(373), address(336), series(301), month(295), number(267), abstract(263), note(231), institution(138), url(88), type(70), school(53), organization(27), key(26), chapter(18), howpublished(10), edition(5), isbn(5), crossref(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!