The recursive sets in certain monadic second order fragments of arithmetic.

Published in: Arch. Math. Log. (1975)

Keyphrases

datalog programs
recursive queries
higher order
neural network
high order
datalog queries
database
social networks
deductive databases
set theoretic
finite sets