Termination of dependently typed rewrite rules

机译：终止依赖类型的重写规则

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Jouannaud Jean-Pierre; Li Jian-Qi;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Termination of Dependently Typed Rewrite Rules [J] . Jean-Pierre Jouannaud, Jianqi Li LIPIcs : Leibniz International Proceedings in Informatics . 2015,第4期

机译：终止依赖类型的重写规则
2. Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting [J] . Frédéric Blanqui, Guillaume Genestier, Olivier Hermant LIPIcs : Leibniz International Proceedings in Informatics . 2019,第29期

机译：相依类型理论模态重写中的相依对终止
3. Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories [J] . LuisBarguno, GuillemGodoy, EduardHuntingford, Logical Methods in Computer Science . 2010,第3期

机译：用右平规则模置换理论终止重写
4. A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems [C] . Frederic Blanqui Rewriting Techniques and Applications . 2004

机译：相依类型高阶重写系统的基于类型的终止标准
5. Bayesian analysis of multi-type recurrent events with dependent termination. [D] . Lin, Li-An. 2015

机译：具有相关终止的多种类型复发事件的贝叶斯分析。
6. Rewriting the rules for care of MDS and AML patients in the time of COVID-19 [O] . Azra Raza, Amer Assal, Abdullah M. Ali, 2020

机译：在COVID-19期间重写MDS和AML患者的护理规则
7. Termination of Dependently Typed Rewrite Rules [O] . Jouannaud Jean-Pierre, Li Jianqi 2015

机译：终止依赖类型的重写规则
8. Termination of String Rewriting Rules that have One Pair of Overlaps [R] . Geser, Alfons 2002

机译：终止具有一对重叠的字符串重写规则

Termination of dependently typed rewrite rules

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅