EasyChair Smart SlideUser guide
Author: Agata Ciabattoni

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

Effective Translations between Display and Labelled Proofs for Tense Logics

Effective Translations between Display and Labelled Proofs for Tense Logics

Tim Lyon, Agata Ciabattoni, Revantha Ramanayake and Alwen Tiu

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