Some new results in monadic second-order arithmetic.

Stanislav O. Speranski

Published in: Comput. (2015)

Keyphrases

higher order
datalog queries
deductive databases
high order
arithmetic operations
datalog programs
floating point
hessian matrix
relational databases
fourth order