Marianna Girlando
发表
Marianna Girlando,
Marianna Girlando,
2019
.
Tiziano Dalmonte,
Marianna Girlando,
2022,
2210.10480.
Marianna Girlando,
Marianela Morales,
2020
.
Nicola Olivetti,
Sara Negri,
Marianna Girlando,
2020,
J. Log. Comput..
Nicola Olivetti,
Sara Negri,
Vincent Risch,
2018,
The Review of Symbolic Logic.
Nicola Olivetti,
Sara Negri,
Vincent Risch,
2016,
Advances in Modal Logic.
Marianna Girlando,
Anupam Das,
2023,
Journal of Automated Reasoning.
Marianna Girlando,
Anupam Das,
2022,
International Joint Conference on Automated Reasoning.
S. Buss,
Marianna Girlando,
Sonia Marin,
2010
.