A Formally Verified Abstract Account of Gödel's Incompleteness Theorems.

Andrei Popescu Dmitriy Traytel

Published in: CADE (2019)

Keyphrases

incomplete information
search engine
missing values
real time
data sets
databases
high level
information technology
state machines