On Topological Completeness of Regular Tree Languages.

Henryk Michalewski Damian Niwinski

Published in: Logic and Program Semantics (2012)

Keyphrases

regular tree languages
xml schema
data sets
knowledge base
reinforcement learning
integrity constraints
tree automata
tree languages