VIVO
Select a language
English (United States)
English (Canada)
Français (Canada)
Deutsch (Deutschland)
Español
Português (Brasil)
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Synthetic Kolmogorov Complexity in Coq
Academic Article
Overview
Identity
View All
Overview
publication date
2022
Identity
Digital Object Identifier (DOI)
https://doi.org/10.4230/lipics.itp.2022.12
