Pumping Lemmas for Tree Languages Generated by Rewrite Systems.

Emmanuel Kounalis

Published in: MFCS (1990)

Keyphrases

rewrite systems
tree languages
term rewriting
theorem proving
tree automata
data structure
theorem prover
training data
machine learning