Project Page
Index
Table of Contents
From
Undecidability.H10
Require
Export
MM_FRACTRAN
.
(* The halting problem for regular FRACTRAN programs *)
About
FRACTRAN_REG_HALTING
.