Pages that link to "Item:Q2817945"
From MaRDI portal
The following pages link to Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945):
Displayed 1 item.
The following pages link to Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945):
Displayed 1 item.