Decidability Equivalence between the Star Problem and the Finite Power Problem in Trace Monoids.

Daniel Kirsten Gwénaël Richomme

Published in: Theory Comput. Syst. (2001)

Keyphrases

power consumption
description logics
finite number
computational power
state space
equivalence relation
database
databases
artificial intelligence
information systems
bayesian networks
finite automata
unit length
linear separability