斯特凡·弗洛伊登伯格。;雅各布·T·施瓦茨。;米查·谢里尔 具有SETL优化器的经验。 (英语) Zbl 0498.68007号 ACM事务处理。程序。语言系统。 5, 26-45 (1983).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Freudenberger}等人,ACM翻译。程序。语言系统。5、26-45(1983年;Zbl 0498.68007) 全文: 内政部
罗伯特·B·K·杜瓦。;米查·谢里尔;埃利亚·魏泽尔鲍姆 垃圾收集算法的转换派生。 (英语) Zbl 0492.68015号 ACM事务处理。程序。语言系统。 4, 650-667 (1982).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.B.K.Dewar}等人,ACM Trans。程序。语言系统。4650-667(1982年;Zbl 0492.68015) 全文: 内政部
米查·谢里尔 关于集合论表达式形式微分的一些观察。 (英语) Zbl 0481.68005号 ACM事务处理。程序。语言系统。 4, 196-225 (1982).MSC公司:68号01 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Sharir},ACM翻译。程序。语言系统。4196-225(1982年;兹bl 04816.8005) 全文: 内政部
米查·谢里尔 形式化集成:一种程序转换技术。 (英语) Zbl 0461.68018号 计算。语言。 6, 35-46 (1981).MSC公司:60年第68季度 68N99型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Sharir},计算。语言6,35-46(1981;Zbl 0461.68018) 全文: 内政部
米查·谢里尔 受形式微分启发的一种奇怪的排序方法。 (英语) Zbl 0456.68064号 计算。数学。申请。 7, 293-298 (1981).MSC公司:68页第10页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sharir},计算。数学。申请。7293--298(1981年;Zbl 0456.68064) 全文: 内政部