Message Boards Message Boards

GROUPS:

[WWS22] Characterisation of infinitary rewrite systems

Posted 14 days ago
365 Views
|
1 Reply
|
3 Total Likes
|

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