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: |