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

Left-Linear Completion with AC Axioms

Left-Linear Completion with AC Axioms

Johannes Niederhauser, Nao Hirokawa and Aart Middeldorp

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