On the Decidability of the Equivalence for a Certain Class of Transducers.

Rodrigo de Souza

Published in: Developments in Language Theory (2009)

Keyphrases

description logics
query containment
neural network
query answering
multi class classification
database
information systems
website
logic programs