Login / Signup
On the complexity of the closed fragment of Japaridze's provability logic.
Fedor Pakhomov
Published in:
Arch. Math. Log. (2014)
Keyphrases
</>
computational complexity
neural network
databases
real time
artificial intelligence
information systems
expert systems
computational cost
np complete
modal logic
complexity analysis
automated reasoning
logical framework