首页> 外文OA文献 >Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems

【2h】

Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems

机译：术语重写系统的汇合，最内汇合和最外汇合属性

页面导航

著录项
相似文献
相关主题

著录项

作者
M. R. K. Krishna Rao;
展开▼
作者单位

展开▼
年度 1996
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems [J] . M.R.K. Krishna Rao Acta Informatica . 1996 ,第6期

机译：术语重写系统的汇合，最内汇合和最外汇合属性
2. Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently [J] . Felgenhauer Bertram Logical Methods in Computer Science . 2018 ,第4期

机译：有效地确定基本术语重写系统的合流和范式性质
3. Some Results on the Confluence Property of Combined Term Rewriting Systems [J] . 张旭波计算机科学技术学报：英文版 . 1991 ,第003期

机译：组合术语重写系统汇合性质的一些结果
4. Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems [C] . Christian Sternagel, Thomas Sternagel Automated deduction - CADE-26 . 2017

机译：证明拟递减强确定性条件术语重写系统的合流
5. Term Rewriting Systems and the Church-Rosser Property [D] . 外山芳人 1990

机译：术语重写系统和Church-Rosser财产
6. Rewriting and suppressing UMLS terms for improved biomedical term identification [O] . Kristina M Hettne, Erik M van Mulligen, Martijn J Schuemie, 2010

机译：重写和抑制UMLS术语以改善生物医学术语识别
7. Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems [O] . Dauchet Max, Heuillard Thierry, Lescanne Pierre, 1990

机译：有限基础术语重写系统和其他相关术语重写系统的融合的可判定性
8. Enhancing Utility of Modular Properties of Term Rewriting Systems [R] . Verheul, J. C. 1993

机译：提高术语重写系统模块化特性的实用性

Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems

著录项

相似文献

相关主题

期刊订阅