Logic and Computation Seminar

Forthcoming

$Valentin Goranko$

20/07/2026, Monday, 15:00–16:00
Room P3.10, Mathematics Building Instituto Superior Técnico

Valentin Goranko, Stockholm University
On Combining Semantic Tableaux

Logic and Computation Seminar

Funded under the scope of UID/EEA/50008/2013.