Published March 7, 2026
| Version oblivion-lean-skeleton-v1
Software
Open
chronos-urf-rr
Authors/Creators
Description
Lean module added for Cycle-Overlap Visibility Lemma linking COR_R(G) to FO^3 type diversity. Build verified.
Notes
If you use this software or its artifacts, please cite it as below.
Files
inaciovasquez2020/chronos-urf-rr-oblivion-lean-skeleton-v1.zip
Files
(6.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9096225af50093b37de809d887073590
|
6.2 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/inaciovasquez2020/chronos-urf-rr/tree/oblivion-lean-skeleton-v1 (URL)
Software
- Repository URL
- https://github.com/inaciovasquez2020/chronos-urf-rr