Login / Signup
A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time.
Flavio Ferrarotti
Senén González
Klaus-Dieter Schewe
José Maria Turull Torres
Published in:
CoRR (2019)
Keyphrases
</>
higher order
classical logic
logic programming
modal logic
predicate logic
neural network
high order
automated reasoning
lower bound
worst case
multi valued
real time
multi agent systems
logical framework
set theory