首页> 外文OA文献 >The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

【2h】

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

机译：条件重写系统的2D依赖关系对框架。第一部分：定义和基本处理器

代理获取

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

页面导航

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

著录项

作者
Salvador Lucas; José Meseguer; Raúl Gutiérrez;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors [J] . Lucas Salvador, Meseguer Jose, Gutierrez Raul Journal of computer and system sciences . 2018,第SEPa期

机译：用于条件重写系统的2D依赖对框架。第一部分：定义和基本处理器
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. Dependency pairs for proving termination properties of conditional term rewriting systems [J] . Lucas Salvador, Meseguer Jose Journal of Logic and Algebraic Programming . 2017,第1期

机译：证明条件项重写系统终止特性的依赖对
4. Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems [C] . Salvador Lucas, Jose Meseguer, Raul Gutierrez International symposium on logic-based program synthesis and transformation . 2015

机译：扩展用于条件项重写系统的2D依赖对框架
5. Design-time and run-time frameworks for multi-objective optimization of 2D and 3D NoC-based multicore computing systems. [D] . Kapadia, Nishit. 2016

机译：用于基于2D和3D NoC的多核计算系统的多目标优化的设计时和运行时框架。
6. Pipeliner: A Nextflow-Based Framework for the Definition of Sequencing Data Processing Pipelines [O] . Anthony Federico, Tanya Karagiannis, Kritika Karri, -1

机译：Pipeliner：用于排序数据处理管道的基于Nextflow的框架的定义
7. A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems [O] . Noschinski, Lars, Emmes, Fabian, Giesl, Jürgen 2011

机译：术语对系统最内在复杂性分析的依赖对框架

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

著录项

引文网络

相似文献

相关主题

期刊订阅