EasyChair Smart SlideDocs/Log in
Author: Franziska Rapp

This page shows all presentations of this author published in EasyChair Smart Slide.

Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL

Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL

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

FORT 2.0

FORT 2.0

Franziska Rapp and Aart Middeldorp

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair