How unprovable is Rabin's decidability theorem?

Leszek Aleksander Kolodziejczyk Henryk Michalewski

Published in: CoRR (2015)

Keyphrases

description logics
von neumann
query answering
three dimensional
multiscale
artificial neural networks
data model
data types
type checking