Remis Search

REMIS is the Redlog Example Management and 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.

Help
The empty search yields all available data.