FLORID - Ein Prototyp fuer F-Logik.

Jrgen Frohn, Rainer Himmerder, Paul-Thomas Kandzia, Georg Lausen, Christian Schlepphorst

Browse the full BTW paper archive.