Redlog Example Management and Information System

The Redlog Example Management and Information System (REMIS) contains publications on Redlog and example computations discussed in these publications. Publications are linked to the examples discussed in there, and vice versa.

Search Expressions

REMIS is case insensitive.

The empty search
outputs the entire Remis database.

full text search for regexp in the Remis database. Example: ax.s

output data for which regexp has been explicitly stored in the field keyword. Example: series:lncs

Multiple expressions
are separated by space. The results will match all expressions. Example: geometry year:1998

Important Keywords

BibTeX field names
are available as keywords for papers. Example: author:weispfenning

Papers and examples can be filtered by the domain of computation. Example: domain:reals

result contains all papers referring to an example with the given file ID. Example: example:dsw96_ex01

Use the unique file ID of papers and examples for later reference. Example: fileid:dsw_96
Get all existing keywords via a Remis search.