1 dataset found

Formats: JSON Tags: bounded idempotent pocrims

Filter Results

  • Bounded Idempotent Pocrims

    The dataset used in the paper is a collection of bounded idempotent pocrims, hoops, and coops, which are used to model the semantics of continuous logic.
You can also access this registry using the API (see API Docs).