The Shape of ℰℒ Proofs: A Tale of Three Calculi
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Description Logics 2025 |
| Publisher | CEUR-WS.org |
| Number of pages | 11 |
| Publication status | Published - 2025 |
| Peer-reviewed | Yes |
Publication series
| Series | CEUR Workshop Proceedings |
|---|---|
| Volume | 4091 |
| ISSN | 1613-0073 |