Computation Environments, An Interactive Semantics for Turing Machines (which P is not equal to NP considering it)

Rasoul Ramezanian

Published in: CoRR (2012)

Keyphrases

turing machine
formal semantics
virtual reality
user interaction
interactive systems
database
information systems
computational complexity
semantic information
computer graphics
real world
knowledge base
high level
special case