首页> 外文OA文献 >Implementation of Conditional Term Rewriting Systems equipped with Meta-computation(Theory of Rewriting Systems and Its Applications)

【2h】

Implementation of Conditional Term Rewriting Systems equipped with Meta-computation(Theory of Rewriting Systems and Its Applications)

机译：具备元计算功能的条件术语重写系统的实现（重写系统的理论及其应用）

页面导航

著录项
相似文献
相关主题

著录项

作者
NUMAZAWA Masanobu; KURIHARA Masahito; OHUCHI Azuma;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Implementing conditional term rewriting by graph rewriting [J] . Ohlebusch E. Theoretical computer science . 2001,第1a2期

机译：通过图重写实现条件项重写
2. The 2D Dependency Pair Framework for Conditional Rewrite Systems-Part Ⅱ: Advanced Processors and Implementation Techniques [J] . Lucas Salvador, Meseguer Jose, Gutierrez Raul Journal of Automated Reasoning . 2020,第8期

机译：条件重写系统的2D依赖关系对框架 - 第二部分：高级处理器和实施技术
3. Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems [J] . Naoki Nishida, Yuya Maeda LIPIcs : Leibniz International Proceedings in Informatics . 2018,第30期

机译：用于语法确定性条件重写系统的缩小树
4. Meta-computation in Conditional Term Rewriting Systems [C] . Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi Proceedings of the 34th SICE annual conference : International session papers . 1995

机译：条件术语重写系统中的元计算
5. Term Rewriting Systems and the Church-Rosser Property [D] . 外山芳人 1990

机译：术语重写系统和Church-Rosser财产
6. Application of normalisation process theory in understanding implementation processes in primary care settings in the UK: a systematic review [O] . Lisa Huddlestone, Jessica Turner, Helen Eborall, 2020

机译：规范化过程理论在理解英国基层医疗机构实施过程中的应用：系统综述
7. Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides(Theory of Rewriting Systems and Its Applications) [O] . Suzuki Taro, Middeldorp Aart, Ida Tetsuo 1995

机译：右侧带有额外变量的条件重写系统的水平融合（重写系统理论及其应用）
8. Modular Properties of Conditional Term Rewriting Systems [R] . Middeldorp, A. 1991

机译：条件术语重写系统的模块化特性

Implementation of Conditional Term Rewriting Systems equipped with Meta-computation(Theory of Rewriting Systems and Its Applications)

著录项

相似文献

相关主题

期刊订阅