On the Computational Completeness of Equations over Sets of Natural Numbers.

Artur Jez Alexander Okhotin

Published in: ICALP (2) (2008)

Keyphrases

real numbers
mathematical model
real world
set theoretic
databases
social networks
information systems
case study
multiscale
linear programming
numerical solution
computational tools
boundary value problem