Bounded Involutive Pocrims
收藏DataCite Commons2026-01-07 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/0e6d3862-7880-4e98-87c0-e1369dfb0924
下载链接
链接失效反馈官方服务：
资源简介：
The dataset used in the paper is a collection of bounded involutive pocrims, hoops, and coops, which are used to model the semantics of continuous logic.
提供机构：
TIB
创建时间：
2024-12-16
