HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Akihisa Yamada

Publications
Efficient Formalization of Simplification Orders
René Thiemann and Akihisa Yamada
EasyChair Preprint 8639

Keyphrases

formalization, Isabelle/HOL, simplification order, termination analysis.

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