首页> 外文OA文献 >An algorithm deciding functional equivalence in a new class of program schemes

【2h】

An algorithm deciding functional equivalence in a new class of program schemes

机译：决定新型程序方案中功能对等的算法

代理获取

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

页面导航

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

著录项

作者
Sabelfeld Victor K.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Decidability of strong equivalence for subschemas of a class of linear, free,near-liberal program schemas [J] . Sebastian Danicic, Robert M. Hierons, Michael R. Laurence Journal of Logic and Algebraic Programming . 2011,第2期

机译：一类线性，自由，近自由程序方案的子方案的强等价性的判定
2. Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups [J] . Mishchenko A.A., Treier A.V. Algebra and logic . 2013,第2期

机译：部分可交换幂等群的通用等价问题的算法可判定性
3. Efficient algorithms for program equivalence for confluent concurrent constraint programming [J] . Luis F. Pino, Filippo Bonchi, Frank Valencia Science of Computer Programming . 2015,第NOVa1PTa1期

机译：融合并发约束编程的高效程序等效算法
4. A Randomized Algorithm for Deciding the Functional Equivalence of Neural Networks [C] . Andrew J. Blumberg International conference on neural information processing;ICONIP'97;Australian and New Zealand conference on intelligent information systems;ANZIIS'97;New Zealand international conference on artificial neural networks and expert systems;ANNES'97 . 1998

机译：确定神经网络功能等效性的随机算法
5. Enhancement Effects of Acquired Function Stimuli on Stimulus Equivalence: Preliminary Membership in Functional or Equivalence Classes [D] . McPheters, Carol J. 2018

机译：获得性功能刺激对刺激等效性的增强作用：功能或等效性类中的初步成员资格
6. Performance of Cancer Recurrence Algorithms After Coding Scheme Switch From International Classification of Diseases 9th Revision to International Classification of Diseases 10th Revision [O] . Nikki M. Carroll, Debra P. Ritzwoller, Matthew P. Banegas, -1

机译：编码方案从国际疾病分类第9次修订版转换为国际疾病分类第10次修订版后的癌症复发算法的性能
7. Probabilistic algorithms for deciding equivalence of straight-line programs [O] . Oscar H. Ibarra, Shlomo Moran 1983

机译：用于确定直线程序等价性的概率算法
8. Deciding Equivalence of Functional Schemes for Parallel Programs [R] . Korablin, Y. P. 1982

机译：确定并行程序功能方案的等价性

An algorithm deciding functional equivalence in a new class of program schemes

著录项

引文网络

相似文献

相关主题

期刊订阅