%0 Conference Paper %1 conf/lics/KupfermanSV96 %A Kupferman, Orna %A Safra, Shmuel %A Vardi, Moshe Y. %B LICS %D 1996 %I IEEE Computer Society %K dblp %P 322-332 %T Relating Word and Tree Automata. %U http://dblp.uni-trier.de/db/conf/lics/lics96.html#KupfermanSV96 %@ 0-8186-7463-6

@inproceedings{conf/lics/KupfermanSV96, added-at = {2023-09-30T00:00:00.000+0200}, author = {Kupferman, Orna and Safra, Shmuel and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2fbdb3665812b7406bd6c36a446cc1dda/dblp}, booktitle = {LICS}, crossref = {conf/lics/1996}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1996.561360}, interhash = {06c22cd82d8a8e8ebd09816d8c8d1604}, intrahash = {fbdb3665812b7406bd6c36a446cc1dda}, isbn = {0-8186-7463-6}, keywords = {dblp}, pages = {322-332}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:38.000+0200}, title = {Relating Word and Tree Automata.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics96.html#KupfermanSV96}, year = 1996 }