Display to Labeled Proofs and Back Again for Tense Logics

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)1-31
Seitenumfang31
FachzeitschriftACM transactions on computational logic
Jahrgang22
Ausgabenummer3
PublikationsstatusVeröffentlicht - 1 Aug. 2021
Peer-Review-StatusJa

Externe IDs

Scopus 85108970406
ORCID /0000-0003-3214-0828/work/142249491

Schlagworte