![]() |
@article{DBLP:journals/jlp/JacquemardRV08,
author = {Florent Jacquemard and
Micha{\"e}l Rusinowitch and
Laurent Vigneron},
title = {Tree automata with equality constraints modulo equational
theories},
journal = {J. Log. Algebr. Program.},
volume = {75},
number = {2},
year = {2008},
pages = {182-208},
ee = {http://dx.doi.org/10.1016/j.jlap.2007.10.006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-06-25 by Michael Ley (ley@uni-trier.de)