Formalizing Calendars with the Category of Ordinals
URL: https://hal.science/hal-00085183
Dataset description:
Starting from the basic notion of chronology, we provide a natural representation of calendars and appropriate tools for manipulating them, inside the framework of finite...
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 10, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/ |
| Created | 5 months ago |
| Id | 5b3a83b8-2405-46a3-8bee-430a4647d3be |
| Package id | oai-hal-hal-00085183v1 |
| Resource type | HTML |
| State | active |