EasyChair Smart SlideDocs/Log in
Author: Dominik Kirst

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

An Analysis of Tennenbaum's Theorem in Constructive Type Theory

An Analysis of Tennenbaum's Theorem in Constructive Type Theory

Marc Hermes and Dominik Kirst

Computational Back-and-Forth Arguments in Constructive Type Theory

Computational Back-and-Forth Arguments in Constructive Type Theory

Dominik Kirst

Undecidability of Dyadic First-Order Logic in Coq

Undecidability of Dyadic First-Order Logic in Coq

Johannes Hostert, Andrej Dudenhefner and Dominik Kirst

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