何塞·埃斯皮里托·桑托;路易斯·平托 多元连续项的微积分。 (英语) Zbl 1352.03063号 ACM事务处理。计算。日志。 第12号第3条第22条第41页(2011年).MSC公司:05年3月 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Espírito Santo}和\textit{L.Pinto},ACM Trans。计算。日志。12,第3号,第22条,第41页(2011年;Zbl 1352.03063) 全文: 内政部 链接
Jan A.Bergstra。;阿尔班·蓬塞 命题代数。 (英语) Zbl 1352.03040号 ACM事务处理。计算。日志。 第12号第3条第21条第36页(2011年).MSC公司:03B70号 03G25号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},ACM Trans。计算。日志。12,第3号,第21条,36页(2011;Zbl 1352.03040) 全文: 内政部 arXiv公司
乔斯·德·布鲁因;托马斯·艾特;Polleres,阿克塞尔;汉斯·托姆皮茨 将非圆逻辑程序嵌入到自认知逻辑中进行知识库组合。 (英语) 兹比尔1351.68273 ACM事务处理。计算。日志。 第12号第3条第20条第39页(2011年).MSC公司:68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.De Bruijn}等人,ACM Trans。计算。日志。12,第3号,第20条,39页(2011年;Zbl 1351.68273) 全文: 内政部 链接
马尔钦·尤季扬斯基;兰科·拉齐奇 数据树上的交替自动机和XPath可满足性。 (英语) Zbl 1351.68141号 ACM事务处理。计算。日志。 第12号第3条第19条第21页(2011年).MSC公司:65年第68季度 03B25号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdziński}和\textit{R.Lazić},ACM翻译。计算。日志。12,第3号,第19条,第21页(2011;Zbl 1351.68141) 全文: 内政部 arXiv公司
弗莱明·尼尔森;塞巴斯蒂安·南兹;尼尔森,Hanne Riis 并发行为的模式抽象。 (英语) 兹比尔1351.68185 ACM事务处理。计算。日志。 第12号第3条第18条第40页(2011年).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,ACM Trans。计算。日志。12,第3号,第18条,40页(2011年;Zbl 1351.68185) 全文: 内政部