2006/01/01 by Morten Heine Sørensen, Pawel Urzyczyin · 1 citation
Computer Science · Mathematics · #Computer science #Cube (algebra) #Formal Methods in Verification #Geology #Geometry #Logic, programming, and type systems #Mathematics #Paleontology #Petri Nets in System Modeling #Type (biology)
paper · doi:10.1016/s0049-237x(06)80015-7
crossref issued 2006/01/01 · crossref published 2006/01/01 · crossref published-print 2006/01/01 · openalex publication_date 2006/01/01 · crossref created 2007/09/07 · crossref deposited 2025/09/24 · crossref indexed 2025/09/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/06/11