Michail Karatarakis

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Computational Properties

Dynamic Aspects

Top Venues

Publications

Michail Karatarakis
A Formalization of All Notions in the Statement of a Theorem by Deligne. CICM (2024)