On the decidability of semigroup freeness.

Julien Cassaigne François Nicolas

Published in: RAIRO Theor. Informatics Appl. (2012)

Keyphrases

description logics
query answering
decision procedures
knowledge base
type checking
database
databases
data structure
special case
mobile robot
computational properties
query containment