×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [true logical framework]
Home >
true logical framework
The Halting Problem Can we design a program that, given any other program and its input, tells whether that program will halt when run on that input?
214 views