EasyChair Smart SlideDocs/Log in
Author: Yufei Liu

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

Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle

Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle

Benedikt Stock, Abhik Pal, Maria Antonia Oprea, Yufei Liu, Malte Sophian Hassler, Simon Dubischar, Prabhat Devkota, Yiping Deng, Marco David, Bogdan Ciurezu, Jonas Bayer and Deepak Aryal

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