[Flirts] Re: hol institution; please send your FLIRTS publications

[Till Mossakowski]

[This reminds me:
could all of you send BiBTeX entries of your recent FLIRTS publications to me,
so that I can update the bibliography accordingly? Till]

Dear Razvan,

> But I would like to ask you a question. This is related to the recent
> flirts message which reminded me of something.
> Do you know any nice definition for a higher order logic institution?
> Of course I could invent something but it is better to use a good
> existing one.  

A detailed description of a HOL institution is given in

@inproceedings{Borzyszkowski99,
     author = "Tomasz Borzyszkowski",
     title = "Higher-Order Logic and Theorem Proving for Structured Specifications",
     booktitle = "Workshop on Algebraic Development Techniques 1999",
     pages = "401-418",
     year = "2000",
     editor = "Christine Choppy and Didier Bert and Peter Mosses",
     series =	 "LNCS",
     volume =	 "1827",
}

Acutally, this reference is missing in the FLIRTS bibliography - I will add it
(sorry, Tomek!).

Greetings,
Till


-- 
Till Mossakowski               Phone +49-421-218-4683
Dept. of Computer Science      Fax +49-421-218-3054
University of Bremen           till at tzi.de
P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till