Efficient Formalization of Simplification Orders
Authors: René Thiemann and Akihisa Yamada
Paper Information
| Title: | Efficient Formalization of Simplification Orders |
| Authors: | René Thiemann and Akihisa Yamada |
| Proceedings: | WST22 Program papers |
| Editor: | Cynthia Kop |
| Keywords: | formalization, Isabelle/HOL, simplification order, termination analysis |
| Pages: | 5 |
| Paper: |  |