Franziska Rapp

According to our database, Franziska Rapp authored at least 4 papers between 2016 and 2019.

Collaborative distances:

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

2019

A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL.

Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

Layer Systems for Confluence - Formalized.

Bertram Felgenhauer, Franziska Rapp

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

FORT 2.0.

Franziska Rapp, Aart Middeldorp

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2016

Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems.

Franziska Rapp, Aart Middeldorp

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016