On the Decidability of the Equivalence for k-Valued Transducers.

Rodrigo de Souza

Published in: Developments in Language Theory (2008)

Keyphrases

query containment
description logics
query answering
conjunctive queries
information systems
decision procedures
finite automata
interactive dynamic influence diagrams
search engine
computer vision
knowledge base
multi agent
data structure
equivalence relation