Login / Signup
Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.
Panu Raatikainen
Published in:
J. Symb. Log. (2003)
Keyphrases
</>
np complete
problems involving
real world
expert systems
optimization problems
search algorithm