PAOLO
MAFFEZIOLI
Investigador contratado
Vienna University of Technology
Viena, AustriaVienna University of Technology-ko ikertzaileekin lankidetzan egindako argitalpenak (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)