Universal Turing machine
article-link
What links here
Rice's theorem
Abstraction (computer science)
article-link
Abstract interpretation
article-link
Cantor's diagonal argument
article-link
Turing completeness
article-link
Theory of computation
article-link
Static program analysis
article-link
Programming language
article-link
Rices theorem
redirect