REDLOG Example Management & Information System

The REMIS database contains publications on REDLOG as well as example computations with REDLOG discussed in these publications. Publications are linked to their contained examples and vice versa.

The empty search yields all available data.

2009-04-01