Pages that link to "Item:Q2142082"
From MaRDI portal
The following pages link to A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082):
Displayed 1 item.
The following pages link to A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082):
Displayed 1 item.