Giuseppe Greco
Universiteit Utrecht
H-index: 15
Europe-Netherlands
Top articles of Giuseppe Greco
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Algebraic proof theory for LE-logics | ACM Transactions on Computational Logic | Giuseppe Greco Peter Jipsen Fei Liang Alessandra Palmigiano Apostolos Tzimoulis | 2024/1/17 |
First order logic properly displayed | arXiv preprint arXiv:2105.06877 | Samuel Balco Giuseppe Greco Alexander Kurz Andrew Moshier Alessandra Palmigiano | 2021/5/14 |
Semi De Morgan logic properly displayed | Studia logica | Giuseppe Greco Fei Liang M Andrew Moshier Alessandra Palmigiano | 2021/2 |