Second Order Definability Via enumerations.

Published in: Math. Log. Q. (1991)

Keyphrases

higher order
propositional logic
fixed point
high order
real time
computer vision
hessian matrix
database
neural network
information retrieval