CeTA – A certifier for termCOMP 2022
Authors: Christina Kohl and René Thiemann
Paper Information
| Title: | CeTA – A certifier for termCOMP 2022 |
| Authors: | Christina Kohl and René Thiemann |
| Proceedings: | WST22 Program papers |
| Editor: | Cynthia Kop |
| Keywords: | Certification, Isabelle/HOL, Termination, Complexity, Confluence |
| Pages: | 2 |
| Talk: | Aug 12 14:00 (Session 138H) |
| Paper: |  |