Display to Labeled Proofs and Back Again for Tense Logics
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 1-31 |
Seitenumfang | 31 |
Fachzeitschrift | ACM transactions on computational logic |
Jahrgang | 22 |
Ausgabenummer | 3 |
Publikationsstatus | Veröffentlicht - 1 Aug. 2021 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85108970406 |
---|---|
ORCID | /0000-0003-3214-0828/work/142249491 |