On the Decidability of Bounded Valuedness for Transducers.

Jacques Sakarovitch Rodrigo de Souza

Published in: MFCS (2008)

Keyphrases

description logics
query answering
real time
finite automata
decision procedures
type checking
learning algorithm
artificial neural networks
special case
incomplete information
asymptotically optimal