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

Author:
Till Mossakowski <till @ tzi . de> (email mangled to prevent spamming)
Abstract:
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.
Keywords:
logic institution category theory
Author Comments:
FLIRTS home page: http://www.informatik.uni-bremen.de/flirts

Browsing the bibliography

Bibliographic Statistics

Types:
incollection(63), article(60), inproceedings(20), techreport(18), misc(7), phdthesis(7), unpublished(4), inbook(3), book(2)
Fields:
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!