曼弗雷德·德罗斯特;多琳·黑塞尔;福格勒、海科 树赋值幺半群上的加权无秩树自动机及其加权逻辑表征。 （英语） 兹比尔1465.68141 安德烈亚斯·马莱蒂（编辑），代数信息学。2015年9月1日至4日，第六届国际会议，CAI 2015，德国斯图加特。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9270, 90-102 (2015).MSC公司：65年第68季度 05年3月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Droste}等人，Lect。注释计算。科学。9270、90-102（2015年；Zbl 1465.68141） 全文： 内政部
佐尔坦，福尔öp;托尔斯滕·苏贝尔;福格勒、海科 多算子幺半群上加权树自动机的Büchi-like定理。 （英语） Zbl 1280.03045号 理论计算。系统。 50，第2期，241-278（2012）. 审核人：罗杰·维尔梅尔（蒙特勒） MSC公司：05年3月 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}等人，理论计算。系统。50，第2号，241--278（2012；Zbl 1280.03045） 全文： 内政部
曼弗雷德·德罗斯特;福格勒、海科 加权树自动机和加权逻辑。 （英语） Zbl 1154.68068号 西奥。计算。科学。 366，第3期，228-247（2006）.MSC公司：65年第68季度 05年3月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{H.Vogler}，Theor。计算。科学。366，第3号，228--247（2006；Zbl 1154.68068） 全文： 内政部
约斯特·恩格尔弗里特;福格勒、海科 模块化树形传感器。 （英语） Zbl 0729.68018号 西奥。计算。科学。 78，第2期，267-303（1991年）. 审核人：马格努斯·斯坦比（图尔库） MSC公司：2005年第68季度 2012年第68季度 65年第68季度 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{H.Vogler}，Theor。计算。科学。78，第2号，267--303（1991；Zbl 0729.68018） 全文： 内政部