( en | de | ru )

 

Disambiguierung von "Cohen, Cyril"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle.

, , , , und . ITP, Volume 141 von LIPIcs, Seite 13:1-13:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cyril Cohen

Cyril Bazin

Cyril Grouin

Cyril Mazauric

Cyril Faucher

 

Weitere Publikationen von Autoren mit dem selben Namen

A bargain for mergesorts (functional pearl) - How to prove your mergesort correct and stable, almost for free., und . CoRR, (2024)Measure Construction by Extension in Dependent Type Theory with Application to Integration., und . CoRR, (2022)The MetaCoq Project., , , , , , , , und . J. Autom. Reason., 64 (5): 947-999 (2020)Unsolvability of the Quintic Formalized in Dependent Type Theory., , , und . ITP, Volume 193 von LIPIcs, Seite 8:1-8:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Semantics of Probabilistic Programs using s-Finite Kernels in Coq., , und . CPP, Seite 3-16. ACM, (2023)Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description)., , und . FSCD, Volume 167 von LIPIcs, Seite 34:1-34:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Trocq: Proof Transfer for Free, With or Without Univalence., , und . ESOP (1), Volume 14576 von Lecture Notes in Computer Science, Seite 239-268. Springer, (2024)Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence., , und . ESOP (1), Volume 14576 von Lecture Notes in Computer Science, Seite 269-274. Springer, (2024)Trocq: Proof Transfer for Free, With or Without Univalence., , und . CoRR, (2023)Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis., , , , , und . IJCAR (2), Volume 12167 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2020)