苏拉布·卡西达什维利；约翰·格劳特 无冲突重写系统的稳定计算语义（具有重复的部分顺序）。 （英语） Zbl 1038.68068号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。票据计算。科学。2706, 467-482 (2003). 小结：我们研究了Lévy风格约简的排序（trianglefteq_{mathcal{S}}），它反映了“值”（例如head-normal形式或Böhm-trees）的信息w.r.t.（super）稳定集（mathcal}S}）的增长。我们证明了由（trianglefteq_{mathcal{S}}）排序的共初始约化集构成有限代数完备格，从而形成计算域和Scott域。因此，我们获得了Boudol为术语重写系统提出的计算语义的相对化版本。此外，我们在Kahn和Plotkin的具体域的精神下给出了序（三角左eq_{mathcal{S}}）的纯域理论表征。这些构造是在稳定确定性剩余结构的框架下进行的，它是一个抽象约简系统，在定义上具有公理化的剩余关系，它对所有正交（或无冲突）约简系统以及许多其他有趣的计算结构进行了建模。有关整个系列，请参见[Zbl 1029.00060号]. MSC公司： 第68季度第42季度 语法和重写系统 第68季度55 计算理论中的语义学 06B35号 连续格和偏序集，应用 PDF格式BibTeX公司 XML格式引用 \textit{Z.Khasidashvili}和\textit{J.Glauert}，莱克特。票据计算。科学。2706、467--482（2003年；Zbl 1038.68068） 全文： 链接