Proof — C and UNIX

Statement

C language; UNIX operating system. Proved in ZFC.

Source

ACM Turing Award 1983. C language; UNIX operating system. Proved in ZFC.

Domains

computer-science

People

• Dennis Ritchie

Related

• Theorem: C and UNIX
• Proof: C and UNIX

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People