EasyChair Smart SlideUser guide
Author: Johannes Niederhauser

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

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic

Johannes Niederhauser, Chad E. Brown and Cezary Kaliszyk

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