Halting Segment: Difference between revisions
Jump to navigation
Jump to search
m (Fixed reference) |
m (→See also: grammar fix) |
||
| Line 3: | Line 3: | ||
* In July 2022, the Halting Segment decider is first introduced by lijil.<ref>https://discuss.bbchallenge.org/t/decider-halting-segment/75</ref> | * In July 2022, the Halting Segment decider is first introduced by lijil.<ref>https://discuss.bbchallenge.org/t/decider-halting-segment/75</ref> | ||
==See also== | ==See also== | ||
[https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 5] of bbchallenge deciders' write-up. | [https://github.com/bbchallenge/bbchallenge-proofs/blob/build-latex-pdf/deciders/correctness-deciders.pdf Section 5] of the bbchallenge deciders' write-up. | ||
==References== | ==References== | ||
[[Category:Deciders]] | [[Category:Deciders]] | ||