%0 Journal Article %1 journals/jsc/GenetR10 %A Genet, Thomas %A Rusu, Vlad %D 2010 %J J. Symb. Comput. %K dblp %N 5 %P 574-597 %T Equational approximations for tree automata completion. %U http://dblp.uni-trier.de/db/journals/jsc/jsc45.html#GenetR10 %V 45

@article{journals/jsc/GenetR10, added-at = {2021-02-17T00:00:00.000+0100}, author = {Genet, Thomas and Rusu, Vlad}, biburl = {https://www.bibsonomy.org/bibtex/2760231cf45714a95a9e0a18766970cdf/dblp}, ee = {https://doi.org/10.1016/j.jsc.2010.01.009}, interhash = {73054630f06abe3a988fb100f28a4aee}, intrahash = {760231cf45714a95a9e0a18766970cdf}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = 5, pages = {574-597}, timestamp = {2024-04-09T05:32:55.000+0200}, title = {Equational approximations for tree automata completion.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc45.html#GenetR10}, volume = 45, year = 2010 }