EasyChair Smart SlideUser guide
Author: Matteo Manighetti

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

Peano Arithmetic and muMALL: an Extended Abstract

Peano Arithmetic and muMALL: an Extended Abstract

Matteo Manighetti and Dale Miller

Admissible tools in the kitchen of intuitionistic logic

Admissible tools in the kitchen of intuitionistic logic

Matteo Manighetti and Andrea Condoluci

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