Presentations

Some talks

Hypersequent Calculi Have Ackermann Complexity

LICS'26, Lisbon, Portugal
PDF