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

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

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