PAOLO
MAFFEZIOLI
Investigador contratado
![Foto de PAOLO](/img/uploaded/2FE3BBB8AF356989235D85F5DE10080A.jpg)
![Foto de Vienna University of Technology](/img/noimage_org.png)
Vienna University of Technology
Viena, AustriaPublicacions en col·laboració amb investigadors/es de Vienna University of Technology (1)
2013
-
Hypersequent and labelled calculi for intermediate logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)