EasyChair Smart SlideDocs/Log in
Author: T. V. H. Prathamesh

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

Unknot Recognition Through Quantifier Elimination

Unknot Recognition Through Quantifier Elimination

Meesum Syed Mohammad and T. V. H. Prathamesh

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

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