Author of the publication

A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems.

, and . CPP, page 197-210. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formalizing Almost Development Closed Critical Pairs (Short Paper)., and . ITP, volume 268 of LIPIcs, page 38:1-38:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems., and . CPP, page 197-210. ACM, (2023)Composing Proof Terms., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 337-353. Springer, (2019)ProTeM: A Proof Term Manipulator (System Description)., and . FSCD, volume 108 of LIPIcs, page 31:1-31:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)