Transducers and the Decidability of Independence in Free Monoids.

Helmut Jürgensen Kai Salomaa Sheng Yu

Published in: Theor. Comput. Sci. (1994)

Keyphrases

description logics
query answering
information systems
independence assumption
finite automata
artificial intelligence
social networks
bayesian networks
conditional independence
database
genetic algorithm
computer vision
multiresolution
type checking