罗兰·梅耶 微积分中的结构平稳性理论。 (英语) Zbl 1165.68053号 学报信息。 46,第2号,87-137(2009年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer},Acta Inf.46,No.2,87-137(2009;Zbl 1165.68053) 全文: 内政部
苏布拉马尼,K。;赖洪健;顾晓峰 选定布尔蕴涵和等价问题的随机行走。 (英语) Zbl 1178.68671号 学报信息。 46,第2期,155-168(2009).MSC公司:68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}等人,《信息学报》第46卷第2期,第155--168页(2009年;Zbl 1178.68671) 全文: 内政部
约斯特·恩格尔弗里特 类型检查树行走树换能器的时间复杂性。 (英语) 兹比尔1165.68039 学报信息。 46,第2期,139-154(2009).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},Acta Inf.46,第2号,139-154(2009年;兹bl 1165.68039) 全文: 内政部