首页> 外文OA文献 >An algorithm to test for confluence in a system of left to right rewrite rules.

【2h】

An algorithm to test for confluence in a system of left to right rewrite rules.

机译：一种在左右重写规则系统中测试合流的算法。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

摘要

Approved for public release; distribution in unlimited.

机译：批准公开发布；无限分发。

著录项

作者
Griffin Rachel;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

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

机译：术语重写系统的汇合，最内汇合和最外汇合属性
2. Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems [J] . Guillem Godoy, Ashish Tiwari, Rakesh Verma Applicable algebra in engineering, communication and computing . 2004,第1期

机译：通过重写闭包和正确的术语重写系统来表征汇合
3. A polynomial algorithm testing partial confluence of basic semi-Thue systems [J] . Senizergues G. Theoretical computer science . 1998,第1期

机译：测试半基本Thue系统部分汇合的多项式算法
4. Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems [C] . Julian Nagele, Aart Middeldorp International conference on interactive theorem proving . 2016

机译：左线性术语重写系统经典合流结果的认证
5. Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms. [D] . Garousi, Vahid. 2006

机译：使用遗传算法的基于UML模型的分布式实时系统的流量感知压力测试。
6. Testing Nelder-Mead Based Repulsion Algorithms for Multiple Roots of Nonlinear Systems via a Two-Level Factorial Design of Experiments [O] . Gisela C. V. Ramadas, Ana Maria A. C. Rocha, Edite M. G. P. Fernandes -1

机译：通过两级因子设计的实验来测试基于Nelder-Mead的非线性系统多根斥力算法
7. Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems [O] . Julian Nagele, Aart Middeldorp 2016

机译：左线性术语重写系统的古典汇合结果认证

An algorithm to test for confluence in a system of left to right rewrite rules.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅