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

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

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!