Reverse mathematics and properties of finite character.

Damir D. Dzhafarov Carl Mummert

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

computer science
computer algebra
reinforcement learning
search algorithm
expert systems
multiresolution
structural properties
computer assisted instruction
topological properties
closure properties