The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.
Flavio FerrarottiSenén GonzálezKlaus-Dieter ScheweJosé Maria Turull TorresPublished in: SYNASC (2018)
Keyphrases
- higher order
- modal logic
- relative error
- logic programming
- hierarchical structure
- high order
- digital circuits
- proof theory
- feature space
- multi valued
- classical logic
- directional derivatives
- database
- hierarchically organized
- asynchronous circuits
- nonmonotonic logics
- defeasible logic
- data structure
- genetic algorithm
- data mining
- real time