Christina Kirk

According to our database, Christina Kirk authored at least 7 papers between 2018 and 2025.

Collaborative distances:

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

2025

First-Order Rewriting.

René Thiemann, Christian Sternagel, Christina Kirk, Martin Avanzini, Bertram Felgenhauer, Julian Nagele, Thomas Sternagel, Sarah Winkler, Akihisa Yamada

Arch. Formal Proofs, 2025

Proof Terms for Term Rewriting.

Christina Kirk

Arch. Formal Proofs, 2025

Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems.

Christina Kirk, Aart Middeldorp

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

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