A Geometric Proof of Confluence by Decreasing Diagrams

VINCENT VAN OOSTROM; ROEL DE VRIJER

首页> 外文期刊>Journal of logic and computation >A Geometric Proof of Confluence by Decreasing Diagrams

【24h】

A Geometric Proof of Confluence by Decreasing Diagrams

机译：递减图的几何融合证明

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria in abstract rewriting, such as the strong confluence lemma. We give a new proof of the decreasing diagram theorem base don a geometric study of infinite reduction diagrams, arising from unsuccessful attempts to obtain a confluent diagram by tiling with elementary diagrams.

机译：使用递减图进行融合的标准是抽象重写中几种众所周知的融合标准的概括，例如强融合引理。我们通过对无限约简图进行几何研究，给出了递减图定理的新证明，这是由于通过与基本图的平铺来获得汇合图的尝试失败而引起的。

著录项

来源
《Journal of logic and computation》 |2000年第3期|p.437-460|共24页
作者
VINCENT VAN OOSTROM; ROEL DE VRIJER;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
Abstract rewriting; confluence; decreasing diagram;

机译：摘要重写;合流;递减图;

相似文献

外文文献
中文文献
专利

1. Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling [J] . Takahito Aoto LIPIcs : Leibniz International Proceedings in Informatics . 2010,第2期

机译：通过基于规则标签的递减图表自动进行汇合证明
2. Decreasing Diagrams for Confluence and Commutation [J] . Overbeek Roy, Klop Jan Willem, Endrullis J?rg Logical Methods in Computer Science . 2020,第1期

机译：减少汇合和换向图
3. Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems [J] . J{o}rg Endrullis, Jan Willem Klop, Roy Overbeek LIPIcs : Leibniz International Proceedings in Informatics . 2018,第1期

机译：带有两个标签的递减图完成了可数系统的融合
4. Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams [C] . Takahito Aoto, Yoshihito Toyama, Kazumasa Uchida Rewriting and typed lambda calculi . 2014

机译：通过持久性和递减图表证明术语重写系统的融合
5. The study of Taiwanese students' experiences with geometric calculation with number (GCN) and their performance on GCN on geometric proof (GP). [D] . Hsu, Hui-Yu. 2010

机译：研究台湾学生的几何数字计算经验（GCN）及其在GCN的几何证明（GP）上的表现。
6. On Voronoi Diagrams on the Information-Geometric Cauchy Manifolds [O] . Frank Nielsen 2020

机译：关于信息几何Cauchy歧管的Voronoi图
7. A Geometric Proof of Confluence by Decreasing Diagrams [O] . Jan Willem Klop, Vincent Van Oostrom, Roel De Vrijer 2007

机译：递减图的几何融合证明
8. Geometric Proof of Confluence by Decreasing Diagrams. Software Engineering [R] . Klop, J. W., van Oostrom, V., de Vrijer, R. 2000

机译：减少图表汇流的几何证明。软件工程

A Geometric Proof of Confluence by Decreasing Diagrams

摘要

著录项

相似文献

相关主题

期刊订阅