Marianna Girlando
发表
Nicola Olivetti,
Sara Negri,
Vincent Risch,
2016,
Advances in Modal Logic.
Nicola Olivetti,
Gian Luca Pozzato,
Björn Lellmann,
2017,
TABLEAUX.
Sara Negri,
Marianna Girlando,
Giorgio Sbardolini,
2019,
WoLLIC.
Nicola Olivetti,
Gian Luca Pozzato,
Björn Lellmann,
2016,
JELIA.
Nicola Olivetti,
Sara Negri,
Vincent Risch,
2018,
The Review of Symbolic Logic.
Nicola Olivetti,
Sara Negri,
Marianna Girlando,
2018,
Advances in Modal Logic.
Nicola Olivetti,
Sara Negri,
Marianna Girlando,
2020,
J. Log. Comput..
Nicola Olivetti,
Björn Lellmann,
Marianna Girlando,
2019,
JELIA.
Nicola Olivetti,
Gian Luca Pozzato,
Björn Lellmann,
2020,
CILC.
Nicola Olivetti,
Gian Luca Pozzato,
Björn Lellmann,
2017,
TABLEAUX.
Marianna Girlando,
2019
.
Lutz Straßburger,
Marianna Girlando,
2020,
IJCAR.
Marianna Girlando,
Marianna Girlando,
2019
.