On the complexity of Gödel's proof predicate.

Yijia Chen Jörg Flum

Published in: J. Symb. Log. (2010)

Keyphrases

information systems
machine learning
genetic algorithm
computational complexity
first order logic
data sets
artificial intelligence
website
space complexity