Marco Volpe
发表
Tomer Libal,
Marco Volpe,
Tomer Libal,
2018,
Mathematical Structures in Computer Science.
Luca Viganò,
Andrea Masini,
Marco Volpe,
2011,
J. Log. Comput..
Tomer Libal,
Marco Volpe,
Tomer Libal,
2016,
GandALF.
Luca Viganò,
Marco Volpe,
Carlos Caleiro,
2013,
2013 20th International Symposium on Temporal Representation and Reasoning.
Luca Viganò,
Andrea Masini,
Marco Volpe,
2009,
LFCS.
Roberto Blanco,
Dale Miller,
Tomer Libal,
2016
.
Luca Viganò,
Marco Volpe,
Carlos Caleiro,
2013,
Logica Universalis.
Dale Miller,
Marco Volpe,
Sonia Marin,
2016,
Advances in Modal Logic.
Luca Viganò,
Andrea Masini,
Marco Volpe,
2010,
J. Appl. Non Class. Logics.
Luca Viganò,
Marco Volpe,
L. Viganò,
2008,
2008 15th International Symposium on Temporal Representation and Reasoning.
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
pdf
Marco Volpe,
João Marcos,
Carlos Caleiro,
2014,
Theor. Comput. Sci..
Luca Viganò,
Marco Volpe,
Margherita Zorzi,
2017,
Inf. Comput..
Marco Volpe,
João Marcos,
Carlos Caleiro,
2012,
WoLLIC.
Luca Viganò,
Andrea Masini,
Marco Volpe,
2009,
M4M.
Luca Viganò,
Marco Volpe,
Marco Rocchetto,
2017,
J. Comput. Secur..
Luca Viganò,
Marco Volpe,
Marco Rocchetto,
2013,
STM.
Dale Miller,
Marco Volpe,
Marco Volpe,
2015,
LPAR.
Dale Miller,
Tomer Libal,
Marco Volpe,
2016
.
Marco Volpe,
Guglielmo Nocera,
2021
.
Marco Volpe,
Marco Volpe,
2021
.