首页> 外文OA文献 >Recursive Path Orderings can also be Incremental

【2h】

Recursive Path Orderings can also be Incremental

机译：递归路径排序也可以是增量

页面导航

著录项
相似文献
相关主题

著录项

作者
Mirtha-lina Fernández; Guillem Godoy; Albert Rubio;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Rewrite orderings for higher-order terms in eta-long beta-normal form and the recursive path ordering [J] . Jouannaud JP., Rubio A. Theoretical computer science . 1998 ,第1a2期

机译：以eta-long beta-normal形式重写高阶术语的顺序和递归路径顺序
2. TERMINATION PROOFS FOR TERM REWRITING SYSTEMS BY LEXICOGRAPHIC PATH ORDERINGS IMPLY MULTIPLY RECURSIVE DERIVATION LENGTHS [J] . Weiermann A. Theoretical computer science . 1995 ,第1a2期

机译：词法重写的术语重写系统的终止协议，意味着多重递归推导长度
3. Combinatorial polar orderings and recursively orderable arrangements [J] . Delucchi E, Settepanella S Advances in Applied Mathematics . 2010 ,第2期

机译：组合极点排序和递归可排序安排
4. Recursive Path Orderings Can Also Be Incremental [C] . Mirtha-Lina Fernandez, Guillem Godoy, Albert Rubio International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(LPAR 2005); 20051202-06; Montego Bay(JM) . 2005

机译：递归路径顺序也可以递增
5. Recursive Path Following in Log Polar Space for Autonomous Leaf Contour Extraction [D] . ?Snarski, Anna Claire 2020

机译：用于自主叶轮廓提取的日志极性空间中的递归路径
6. Recursive Indirect-Paths Modularity (RIP-M) for Detecting Community Structure in RNA-Seq Co-expression Networks [O] . Bahareh Rahmani, Michael T. Zimmermann, Diane E. Grill, 2016

机译：递归间接路径模块（RIP-M）用于检测RNA-Seq共表达网络中的群落结构
7. Polymorphic higher-order recursive path orderings [O] . Jean-pierre Jouannaud, Lix École Polytechnique, Albert Rubio 2005

机译：多态高阶递归路径排序

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号