The Collection of
Computer Science Bibliographies

Bibliography on Formalism, Logic, Institution - Relating, Translating and Structuring (FLIRTS)

[   About   |  Browse   |   Statistics   ]

Number of references:184Last update:May 10, 2002
Number of online publications:27Supported:yes
Most recent reference:2003

Information on the Bibliography

Till Mossakowski <till @ tzi . de> (email mangled to prevent spamming)
Bibliography about institutions and other formalizations of the notion of logic. Covered aspects are: formalization of individual logics as institutions, institution independent model and proof theory, metatheorems, morphisms, combination of logics, heterogeneous specification.
logic institution category theory
Author Comments:
FLIRTS home page:

Browsing the bibliography

Bibliographic Statistics

incollection(63), article(60), inproceedings(20), techreport(18), misc(7), phdthesis(7), unpublished(4), inbook(3), book(2)
title(186), author(184), year(177), keywords(171), pages(134), volume(114), booktitle(85), publisher(77), editor(69), series(64), journal(61), url(43), abstract(37), note(25), number(22), address(14), institution(13), key(13), issn(12), month(10), ps(10), st(10), type(9), proj(8), coden(7), comment(7), isbn(7), pdf(6), postscript(6), school(6), acknowledgement(5), annote(5), bibdate(4), chapter(3), references(3), day(2), location(2), otherurl(2), text(2), dvi(1), edtior(1), howpublished(1), language(1), preliminary(1), referencedby(1), topic(1), xref(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!