Lógica y Filosofía Teórica
Département
Vienna University of Technology
Viena, AustriaPublications en collaboration avec des chercheurs 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)