Login / Signup
On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms.
Naoki Nishida
Masahiko Sakai
Yasuhiro Nakano
Published in:
TTATT (2013)
Keyphrases
</>
tree automata
domain knowledge
finite automata