Message Boards Message Boards

GROUPS:

[WWS22] Characterisation of infinitary rewrite systems

Posted 5 months ago
1941 Views
|
2 Replies
|
6 Total Likes
|

Image of numerical multiway system of the Goodstein sequence base bump operation