V. Marra
发表
D. Mundici,
V. Marra,
2003
.
M. Gehrke,
V. Marra,
S. V. Gool,
2013,
1306.2839.
D. Gabelaia,
N. Bezhanishvili,
V. Marra,
2020
.
E. Damiani,
V. Marra,
O. D'Antona,
2009
.
V. Marra,
2006
.
B. Gerla,
Stefano Aguzzoli,
V. Marra,
2008
.
V. Marra,
T. Kroupa,
2020,
2001.03533.
V. Marra,
2013,
1306.4369.
Stefano Aguzzoli,
V. Marra,
L. Cabrer,
2013,
1306.3335.
V. Marra,
L. Spada,
M. Abbadini,
2022,
2210.15341.
V. Marra,
2013,
1306.3340.
V. Marra,
2013,
Erkenntnis.
D. Gabelaia,
N. Bezhanishvili,
V. Marra,
2021,
The Journal of Symbolic Logic.
V. Marra,
L. Spada,
M. Abbadini,
2022,
2210.15341.
Daniel McNeill,
Nick Bezhanishvili,
Vincenzo Marra,
2017,
Ann. Pure Appl. Log..
Brunella Gerla,
Stefano Aguzzoli,
Vincenzo Marra,
2012,
Soft Comput..
Brunella Gerla,
Stefano Aguzzoli,
Vincenzo Marra,
2007,
Algebraic and Proof-theoretic Aspects of Non-classical Logics.
Vincenzo Marra,
Ottavio M. D'Antona,
V. Marra,
2006,
Ann. Pure Appl. Log..
Pietro Codara,
Simone Bova,
Vincenzo Marra,
2010,
International Conference on Fuzzy Systems.
Vincenzo Marra,
Luca Reggio,
V. Marra,
2015,
1508.07750.
Vincenzo Marra,
Luca Spada,
Olivia Caramello,
2014,
Journal of Pure and Applied Algebra.
Stefano Aguzzoli,
Vincenzo Marra,
Ottavio M. D'Antona,
2005,
ECSQARU.
Stefano Aguzzoli,
Vincenzo Marra,
Ottavio M. D'Antona,
2005
.
V. Marra,
Luca Reggio,
2018,
1808.09738.
Pietro Codara,
Vincenzo Marra,
Ottavio M. D'Antona,
2009,
ECSQARU.
V. Marra,
A. Pedrini,
D. McNeill,
2014
.
Stefano Aguzzoli,
Vincenzo Marra,
Matteo Bianchi,
2009,
Stud Logica.
Guram Bezhanishvili,
Frank Richter,
Sebastian Löbner,
2011,
Lecture Notes in Computer Science.
Vincenzo Marra,
Daniele Mundici,
D. Mundici,
2002,
Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic.
Embedding Finitely Generated Abelian Lattice‐Ordered Groups: Higman's Theorem and a Realisation of π
A. Glass,
V. Marra,
2003
.
D. Gabelaia,
N. Bezhanishvili,
V. Marra,
2023,
2307.16600.
Vincenzo Marra,
Daniele Mundici,
D. Mundici,
2002
.
Pietro Codara,
Vincenzo Marra,
Ottavio M. D'Antona,
2014,
J. Multiple Valued Log. Soft Comput..
Stefano Aguzzoli,
Ottavio M. D'Antona,
Vincenzo Marra,
2011,
J. Log. Comput..
Pietro Codara,
Vincenzo Marra,
Ottavio M. D'Antona,
2010,
2010 40th IEEE International Symposium on Multiple-Valued Logic.
Brunella Gerla,
Stefano Aguzzoli,
Vincenzo Marra,
2010,
2010 40th IEEE International Symposium on Multiple-Valued Logic.
Pietro Codara,
Ottavio M. D'Antona,
Vincenzo Marra,
2009,
Int. J. Approx. Reason..
Brunella Gerla,
Stefano Aguzzoli,
Vincenzo Marra,
2008,
Stud Logica.
Brunella Gerla,
Stefano Aguzzoli,
Vincenzo Marra,
2008,
Ann. Pure Appl. Log..
Brunella Gerla,
Stefano Aguzzoli,
Vincenzo Marra,
2008,
2008 IEEE International Conference on Fuzzy Systems (IEEE World Congress on Computational Intelligence).
Stefano Aguzzoli,
Vincenzo Marra,
Manuela Busaniche,
2007,
J. Log. Comput..
Pietro Codara,
Vincenzo Marra,
Ottavio M. D'Antona,
2007,
2007 IEEE International Fuzzy Systems Conference.
V. Marra,
S. Aguzzoli,
2013,
ArXiv.
Vincenzo Marra,
V. Marra,
2008,
Arch. Math. Log..
Vincenzo Marra,
Luca Spada,
V. Marra,
2012,
Stud Logica.
Pietro Codara,
Ottavio M. D'Antona,
Vincenzo Marra,
2012,
Fuzzy Sets Syst..
Vincenzo Marra,
V. Marra,
2011,
TbiLLC.
B. Gerla,
V. Marra,
S. Aguzzoli,
2009
.
V. Marra,
R. Ball,
2013,
1310.2175.
D. Mundici,
V. Marra,
2006
.
Stefano Aguzzoli,
Vincenzo Marra,
V. Marra,
2010,
J. Log. Comput..
Vincenzo Marra,
Daniele Mundici,
D. Mundici,
2007
.
V. Marra,
2006
.