A Finitary Analogue of the Downward Löwenheim-Skolem Property.

Abhisekh Sankaran

Published in: CSL (2017)

Keyphrases

first order logic
finite state
neural network
multimedia
real world
artificial intelligence
social networks
image processing
case study
multiscale
cooperative
expert systems
evolutionary algorithm
multiresolution
color images
desirable properties