Franziska Rapp

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Rewrite Systems

Theorem Proving

Quantifier Free

Top Venues

Publications

Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp
A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. CPP (2019)
Franziska Rapp, Aart Middeldorp
FORT 2.0. IJCAR (2018)
Bertram Felgenhauer, Franziska Rapp
Layer Systems for Confluence - Formalized. ICTAC (2018)
Franziska Rapp, Aart Middeldorp
Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems. FSCD (2016)