塞巴斯蒂安·达尼西奇;Robert M.Hierons。;迈克尔·劳伦斯。 描述最小语义的特征——提供谓词线性、自由、自由程序模式的片段。 (英语) Zbl 1231.68107号 J.日志。阿尔盖布。程序。 80,第8期,481-496(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,J.Log。阿尔盖布。程序。80,第8号,481--496(2011;Zbl 1231.68107) 全文: 内政部 arXiv公司
巴纳赫,R。;杰斯克,C。 通过简洁的默认精简实现简单的功能工程。 (英语) Zbl 1231.68106号 J.日志。阿尔盖布。程序。 80,第8期,453-480(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske},J.Log。阿尔盖布。程序。80,第8号,453--480(2011;Zbl 1231.68106) 全文: 内政部
杰里·斯旺 KBMAG程序中的效率问题。 (英语) Zbl 1227.68116号 J.日志。阿尔盖布。程序。 80,第8期,444-452(2011).MSC公司:68瓦30 20-04 2010年1月20日 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Swan}、J.Log。阿尔盖布。程序。80,第8号,444--452(2011;Zbl 1227.68116) 全文: 内政部
马克·伯吉斯;阿尔瓦·科赫 关于系统回滚和总计字段:系统更改的代数方法。 (英语) Zbl 1227.68073号 J.日志。阿尔盖布。程序。 80,第8期,427-443(2011).MSC公司:第68季度第65季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Burgess}和\textit{A.Couch},J.Log。阿尔盖布。程序。80,第8号,427--443(2011;Zbl 1227.68073) 全文: 内政部 arXiv公司