Towards a Grand Unification of Büchi Complementation Constructions.

Moshe Y. Vardi Seth Fogarty Yong Li Yih-Kuen Tsay

Published in: Principles of Systems Design (2022)

Keyphrases

higher order
theorem proving
equational theories
artificial intelligence
data sets
data mining
genetic algorithm
information gain
neural network
database systems
feature extraction
training data
pattern recognition
computational complexity
first order logic