EasyChair Smart SlideUser guide
Author: Christoph Benzmüller

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

Faithful Logic Embeddings in HOL – Deep and Shallow

Faithful Logic Embeddings in HOL – Deep and Shallow

Christoph Benzmüller

Theorem Proving in Dependently-Typed Higher-Order Logic

Theorem Proving in Dependently-Typed Higher-Order Logic

Colin Rothgang, Florian Rabe and Christoph Benzmüller

Åqvist's Dyadic Deontic Logic E in HOL

Åqvist's Dyadic Deontic Logic E in HOL

Christoph Benzmuller, Ali Farjami and Xavier Parent

Invited talk: Experiments in Universal Logical Reasoning --- How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic

Invited talk: Experiments in Universal Logical Reasoning --- How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic

Christoph Benzmüller

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair