EasyChair Smart SlideDocs/Log in
Author: Joao Marcos

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

Finite Two-Dimensional Proof Systems for Non-Finitely Axiomatizable Logics

Finite Two-Dimensional Proof Systems for Non-Finitely Axiomatizable Logics

Vitor Rodrigues Greati and Joao Marcos

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