Decidability of yield's equality for infinite regular trees.

Max Dauchet Erick Timmerman

Published in: Automata on Infinite Words (1984)

Keyphrases

decision trees
regular languages
description logics
query answering
real time
tree structures
labeled trees
database systems
tree structure
context free grammars
tree automata
tree models