曼弗雷德·德罗斯特;多琳·黑塞尔;福格勒、海科 树赋值幺半群上的加权无秩树自动机及其加权逻辑表征。 （英语） Zbl 1465.68141号 Maletti，Andreas（编辑），代数信息学。2015年9月1日至4日，第六届国际会议，CAI 2015，德国斯图加特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9270, 90-102 (2015).MSC公司：65年第68季度 05年3月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人，Lect。注释计算。科学。9270、90-102（2015年；Zbl 1465.68141） 全文： 内政部
玛格斯·维纳斯;尼古拉·比约纳 符号树自动机。 （英语） 兹比尔1317.68103 信息处理。莱特。 115，第3期，418-424（2015）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Veanes}和\textit{N.Björner}，Inf.过程。莱特。115、3号、418--424（2015；Zbl 1317.68103） 全文： 内政部