HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sorin Stratulat

Publications
Certification of Tail Recursive Bubble--Sort in Theorema and Coq
Isabela Dramnesc, Tudor Jebelean and Sorin Stratulat
In:LPAR 2024 Complementary Volume
A Unified View of Induction Reasoning for First-Order Logic
Sorin Stratulat
In:Turing-100. The Alan Turing Centenary

Keyphrases

Bubble Sort, certification, Coq, explicit induction, implicit induction, induction theorem proving, sorting, Theorema.

Copyright © 2012-2025 easychair.org. All rights reserved.