Login / Signup
Jarl G. Taxerås Flaten
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 5
Top Topics
Broad Categories
Formal Theory
Modular Architecture
File System
Top Venues
CoRR
ITP
Math. Struct. Comput. Sci.
</>
Publications
</>