Pages that link to "Item:Q4405686"
From MaRDI portal
The following pages link to A simple proof of the undecidability of strong normalisation (Q4405686):
Displayed 1 item.
The following pages link to A simple proof of the undecidability of strong normalisation (Q4405686):
Displayed 1 item.