How unprovable is Rabin's decidability theorem?

Leszek Aleksander Kolodziejczyk Henryk Michalewski

Published in: LICS (2016)

Keyphrases

description logics
query answering
database
von neumann
neural network
genetic algorithm
information systems
high level
image sequences
multiscale
relational databases