Conceptio
›
Archive
›
Zenodo (CERN)
Zenodo (CERN)
open access
Obligation-Preserving Slot Substitution, Mechanized (Coq Proof Artifact) — COVENANT
Ravindran, Binoy
Zenodo (CERN) · Papers · License: Open Access
Open Source ↗
openaccess
open access, research
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
Probability Space Logic: A Study of Internal Self-Regulation
#663652
Legal Education Through Ict Enabled Teaching Method: Challenges And Issues
#663654
The Universe Has One Address
#663657
LAMASUS policy payments database at NUTS3
#663658
Proceedings of the MASTS Cross-Sectoral Working Group on the Use of AI in Regulatory Processes – Barriers and Solutions
#663659
Record
· ID 426280
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.