Definable Sets in a hyperbolic Group.

Olga Kharlampovich Alexei G. Myasnikov

Published in: Int. J. Algebra Comput. (2013)

Keyphrases

first order logic
group members
case study
databases
computer vision
rough sets
set theoretic