First-order characterization of the radical of a finite group.

Published in: J. Symb. Log. (2009)

Keyphrases

higher order
first order logic
linear temporal logic
real time
databases
decision trees
computer vision
web services
bayesian networks
reinforcement learning
relational databases
real numbers
stochastic dominance