The Collection of
Computer Science Bibliographies

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

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

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

Original source:

http://www.informatik.uni-bremen.de... (Format: bibtex, compressed with gzip)
Other sites:

http://www.informatik.uni-bremen.de... (Format: html)

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: