Order-Invariance of Two-Variable Logic is Decidable.

Thomas Zeume Frederik Harwath

Published in: CoRR (2016)

Keyphrases

real time
neural network
database
data sets
genetic algorithm
website
decision trees
search algorithm
first order logic