Message Boards Message Boards

[WWS22] Characterisation of infinitary rewrite systems

Richard Assar
Posted 3 years ago

Image of numerical multiway system of the Goodstein sequence base bump operation
POSTED BY: Richard Assar
2 Replies
Sort By:

enter image description here -- you have earned Featured Contributor Badge enter image description here Your exceptional post has been selected for our editorial column Staff Picks http://wolfr.am/StaffPicks and Your Profile is now distinguished by a Featured Contributor Badge and is displayed on the Featured Contributor Board. Thank you!
POSTED BY: EDITORIAL BOARD
Sorin Suciu
Sorin Suciu
Posted 2 years ago

This is fabulous, thank you for the great references!
POSTED BY: Sorin Suciu
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract