Message Boards Message Boards

GROUPS:
Staff Picks Wolfram Science Computer Science Mathematics Physics Graphics and Visualization Graphs and Networks Wolfram Language Wolfram Summer School Wolfram Fundamental Physics Project
Richard Assar

[WWS22] Characterisation of infinitary rewrite systems

Richard Assar
Posted 11 months ago
3030 Views
|
2 Replies
|
6 Total Likes
|

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: Moderation Team
Sorin Suciu
Sorin Suciu
Posted 9 months 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