首页> 外文OA文献 >Decidability and complexity of simultaneous rigid E-unification with one variable and related results

【2h】

Decidability and complexity of simultaneous rigid E-unification with one variable and related results

机译：具有一个变量和相关结果的同时刚性E统一的可判定性和复杂性

代理获取

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

页面导航

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

著录项

作者
Degtyarev Anatoli; Gurevich Yuri; Narendran Paliath; Veanes Margus; Voronkov Andrei;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Decidability and complexity of simultaneous rigid E-unification with one variable and related results [J] . Degtyarev A., Narendran P., Veanes M., Theoretical computer science . 2000,第1a2期

机译：具有一个变量和相关结果的同时刚性E统一的可判定性和复杂性
2. Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification [J] . ANDREI VORONKOV Journal of Automated Reasoning . 2003,第2期

机译：具有相等性的直觉逻辑中的证明搜索，或返回到同时刚性电子统一
3. Monadic simultaneous rigid E-unification [J] . Yuri Gurevich, Andrei Voronkov Theoretical computer science . 1999,第1a2期

机译：单声道同时刚性E统一
4. The Decidability of Simultaneous Rigid E-Unification with One Variable [C] . Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Rewriting techniques and applications . 1998

机译：一变量同时刚性电子统一的判定性
5. Goal-directed E-unification: Completeness, decidability and complexity. [D] . Morawska, Barbara. 2003

机译：目标导向的电子统一：完整性，可决策性和复杂性。
6. Synthesis and assessment of CO-release capacity of manganese carbonyl complexes derived from rigid α-diimine ligands of varied complexity [O] . Jorge Jimenez, Indranil Chakraborty, Pradip K. Mascharak -1

机译：复杂性不同的刚性α-二亚胺配体衍生的羰基锰锰配合物的合成和CO释放能力的评估
7. Decidability and complexity of simultaneous rigid E-unification with one variable and related results [O] . Degtyarev, Anatoli, Gurevich, Yuri, Narendran, Paliath, 2000

机译：具有一个变量和相关结果的同时刚性E-统一的可判定性和复杂性

Decidability and complexity of simultaneous rigid E-unification with one variable and related results

著录项

引文网络

相似文献

相关主题

期刊订阅