Conceptio
›
Archive
›
DataCite
DataCite
metadata only
"A solution to the semi-simplicial types problem in HoTT"
Lombardi, Roberto
DataCite · Datasets · License: Open Access
Open Source ↗
openaccess
research, open access
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
GEOFON event gfz2008dxuu (Southern Sumatra, Indonesia; Magnitude 6.5)
#683256
GEOFON event gfz2008dyap (Southern Sumatra, Indonesia; Magnitude 7.0)
#683257
GEOFON event gfz2008ejkm (Southern Sumatra, Indonesia; Magnitude 6.1)
#683258
GEOFON event gfz2008ejyd (Kuril Islands; Magnitude 6.8)
#683259
GEOFON event gfz2008ekgq (Philippine Islands Region; Magnitude 6.2)
#683260
Record
· ID 30163
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.