Synthetic Kolmogorov Complexity in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yannick Forster 0002, Fabian Kunze, Nils Lauermann. Synthetic Kolmogorov Complexity in Coq. In June Andronick, Leonardo de Moura, editors, 13th International Conference on Interactive Theorem Proving, ITP 2022, August 7-10, 2022, Haifa, Israel. Volume 237 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

This author has not been identified. Look up 'Yannick Forster 0002' in GoogleThis author has not been identified. Look up 'Fabian Kunze' in GoogleThis author has not been identified. Look up 'Nils Lauermann' in Google

runs on WebDSL