Pages that link to "Item:Q3126407"
From MaRDI portal
The following pages link to A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4 (Q3126407):
Displaying 1 item.
The following pages link to A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4 (Q3126407):
Displaying 1 item.