首页> 外文学位 >Unification modulo common list functions A discussion of complexity and decidability modulo various combinations of observer theories

【24h】

Unification modulo common list functions A discussion of complexity and decidability modulo various combinations of observer theories

机译：统一模数公用列表函数讨论观察者理论的各种组合的模数复杂性和可判定性

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Hibbs, Peter;
展开▼
作者单位

State University of New York at Albany;

展开▼
授予单位 State University of New York at Albany;
学科
学位 Ph.D.
年度 2015
页码 118 p.
总页数 118
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining [J] . SivaAnantharaman, ChristopherBouchard, PaliathNarendran, Logical Methods in Computer Science . 2014,第1期

机译：密码解密区块链的2排序方程理论的模统一
2. Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories [J] . LuisBargu?ó, CarlesCreus, GuillemGodoy, Logical Methods in Computer Science . 2013,第2期

机译：树自动机混合局部和全局约束模平面理论的可判定类
3. Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis [J] . Roberto Bruttomesso, Alessandro Cimatti, Anders Franzen, Annals of Mathematics and Artificial Intelligence . 2009,第1a2期

机译：时滞理论与Nelson-Oppen的可满足性模理论的比较分析
4. Unification Modulo Lists with Reverse Relation with Certain Word Equations [C] . Siva Anantharaman, Peter Hibbs, Paliath Narendran, International conference on automated deduction . 2019

机译：与某些单词方程具有反向关系的统一模列表
5. Decidability of Unification Modulo Two Theories of Division [D] . Dai, Zhenjiang. 2018

机译：统一模的可判定性两种划分理论
6. Editorial: Executive Function(s): Conductor, Orchestra or Symphony? Towards a Trans-Disciplinary Unification of Theory and Practice Across Development, in Normal and Atypical Groups [O] . Lynne A. Barker, Nicholas Morton 1981

机译：社论：执行职能：指挥，乐团还是交响乐？在正常和非典型人群中，实现跨学科的理论与实践跨发展的统一
7. Unification Modulo Common List Functions [O] . Peter Hibbs, Paliath Narendran, Shweta Mehto 2014

机译：统一模块通用列表功能

Unification modulo common list functions A discussion of complexity and decidability modulo various combinations of observer theories

著录项

相似文献

相关主题

期刊订阅