Search
Birkhäuser
A formal framework for hypersequent calculi and their fibring
Marcelo Coniglio, Martín Figallo
Volume
Title
Author