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:
Log. J. IGPL (2020)
Keyphrases
</>
higher order
logic programming
black box
computational properties
modal logic
real time
worst case
automated reasoning
multi valued
probabilistic logic
natural deduction
hessian matrix
dynamic logic
digital circuits
classical logic
website
information systems
learning algorithm
data sets