Christina Kohl

According to our database, Christina Kohl authored at least 4 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Formalizing Almost Development Closed Critical Pairs (Short Paper).

Christina Kohl, Aart Middeldorp

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

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

Christina Kohl, Aart Middeldorp

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2019

Composing Proof Terms.

Christina Kohl, Aart Middeldorp

Proceedings of the Automated Deduction - CADE 27, 2019

2018

ProTeM: A Proof Term Manipulator (System Description).

Christina Kohl, Aart Middeldorp

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018