Franziska Rapp

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL.
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018
Layer Systems for Confluence - Formalized.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

FORT 2.0.
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.
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016


  Loading...