On the definability of verbal subgroups.

Françoise Point

Published in: Arch. Math. Log. (2001)

Keyphrases

fixed point
subgroup discovery
propositional logic
search algorithm
behavioral data
nonverbal communication
image sequences
database
information retrieval