Algorithmic Decidability of Engel's Property for Automaton Groups.

Laurent Bartholdi

Published in: CSR (2016)

Keyphrases

description logics
query answering
desirable properties
database
data sets
database systems
search algorithm
relational databases
artificial neural networks