with Finite Forcing.

William J. Mitchell

Published in: Notre Dame J. Formal Log. (2005)

Keyphrases

finite automata
unit length
artificial intelligence
data sets
finite number
finite sets
data mining
website
three dimensional