FLIRTS

Formalism Logic Institution

Relating, Translating and Structuring

The home page of this initiative has been moved to http://www.informatik.uni-bremen.de/flirts/ .