| Originele taal-2 | English |
|---|---|
| Titel | Advances in Modal Logic 2006 |
| Pagina's | 67-86 |
| Aantal pagina's | 20 |
| Volume | 7 |
| Status | Published - 2008 |
| Extern gepubliceerd | Ja |
Valentini's cut-elimination for provability logic resolved
R. Goré, R. Ramanayake
Onderzoeksoutput › Academic › peer review
8
Citaten
(Scopus)