Group Abstract Group Abstract

Message Boards Message Boards

[WWS22] Characterisation of infinitary rewrite systems

Posted 3 years ago

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

POSTED BY: Richard Assar
2 Replies
Posted 3 years ago

This is fabulous, thank you for the great references!

POSTED BY: Sorin Suciu
POSTED BY: EDITORIAL BOARD
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard