亚历山大·梅杜纳;彼得·泽梅克 受控有限自动机。 (英语) Zbl 1360.68568号 学报信息。 51,第5号,327-337(2014).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meduna}和\textit{P.Zemek},Acta Inf.51,No.5,327-337(2014;兹bl 1360.68568) 全文: 内政部
佐尔坦,福尔öp;福格勒、海科 符号树变换器的正向和反向应用。 (英语) Zbl 1307.68047号 学报信息。 51,第5号,297-325(2014). 审核人:安德烈亚斯·马莱蒂(斯图加特) MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}和\textit{H.Vogler},《学报》第51期,第5期,297--325(2014;Zbl 1307.68047) 全文: 内政部 arXiv公司
乌里·法伦贝格;Legay、Axel 具有模态转换系统的一般定量规范理论。 (英语) Zbl 1360.68585号 学报信息。 51,第5期,261-295(2014).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay},《信息学报》51,第5期,261--295(2014;Zbl 1360.68585) 全文: 内政部 哈尔