![](/img/cover-not-exists.png)
A simple proof of the undecidability of strong normalisation
URZYCZYN, PAWEŁVolume:
13
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S096012950200381X
Date:
February, 2003
File:
PDF, 261 KB
english, 2003