![](/img/cover-not-exists.png)
Equational approximations for tree automata completion
Thomas Genet, Vlad RusuVolume:
45
Year:
2010
Language:
english
Pages:
24
DOI:
10.1016/j.jsc.2010.01.009
File:
PDF, 645 KB
english, 2010