圣埃芬·卡普兰 并发系统的代数规范。 (英语) Zbl 0701.68077号 西奥。计算。科学。 69,第1号,69-115(1989). 审核人:P.van Emde Boas先生 MSC公司:68问题65 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.卡普兰},Theor。计算。科学。69,编号1,69--115(1989;Zbl 0701.68077) 全文: 内政部
C。;卡普兰,S。;M·索里亚。 术语重新编写系统的复杂性分析。 (英语) Zbl 0686.68031号 西奥。计算。科学。 67,编号2-3261-282(1989).MSC公司:65年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Choppy}等人,Theor。计算。科学。67,编号2-3261-282(1989;兹bl 0686.68031) 全文: 内政部 链接
斯蒂芬·卡普兰 简化条件重写系统:统一、终止和合流。 (英语) Zbl 0641.68046号 J.塞姆。计算。 4, 295-334 (1987).MSC公司:68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.卡普兰},J.塞姆。计算。4295-334(1987年;Zbl 0641.68046) 全文: 内政部