Francesco A. Genco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2015–2021
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CiE | Defining Formal Explanation in Classical Logic by Substructural Derivability. | Francesco A. Genco, Francesca Poggiolesi |
| 2017 | LICS | Gdel logic: From natural deduction to parallel computation. | Federico Aschieri, Agata Ciabattoni, Francesco A. Genco |
| 2016 | AiML | Embedding formalisms: hypersequents and two-level systems of rule. | Agata Ciabattoni, Francesco A. Genco |
| 2015 | TABLEAUX | Mīmāṃsā Deontic Logic: Proof Theory and Applications. | Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Bjrn Lellmann |