Elimination of unbounded quantifiers for some poly-regular groups of infinite rank.

Philip Scowcroft

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

Keyphrases

rank order
neural network
first order logic
artificial intelligence
evolutionary algorithm
statistically significant
cluster analysis
ranked list
group members
regular languages