◀ ▲ ▶Branches / Theoretical-computer-science / Computability / Proof

Proof

(related to Theorem: Simulating WHILE Programs Using GOTO Programs (and vice versa))

(no contents provided yet)

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Adapted from CC BY-SA 3.0 Sources:

1. Callahan, Daniel: "Euclid’s 'Elements' Redux" 2014

Adapted from (Public Domain)

1. Casey, John: "The First Six Books of the Elements of Euclid"