A REDUCTION THEOREM FOR NORMAL ALGORITHMS

被引：2

作者：

SWANSON, JW

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1966年 / 31卷 / 01期

关键词：

D O I：

10.2307/2270622

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：86 / &

共 50 条

[1] A REDUCTION THEOREM FOR NORMAL ALGORITHMS
BAER, RM
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (03): : 219 - &
[2] A TEST FOR TRUTH OF TRANSLATION THEOREM IN THEORY OF NORMAL ALGORITHMS
SYRKIN, GI
DOKLADY AKADEMII NAUK SSSR, 1967, 173 (02): : 270 - &
[3] A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
Chaouch-Saad, Mouna
Charron-Bost, Bernadette
Merz, Stephan
REACHABILITY PROBLEMS, PROCEEDINGS, 2009, 5797 : 93 - +
[4] A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries
Bertrand, Nathalie
Lazic, Marijana
Widder, Josef
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 219 - 239
[5] Fast parallel algorithms for matrix reduction to normal forms
Villard, G
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 1997, 8 (06) : 511 - 537
[6] Fast Parallel Algorithms for Matrix Reduction to Normal Forms
Gilles Villard
Applicable Algebra in Engineering, Communication and Computing, 1997, 8 : 511 - 537
[7] Fast parallel algorithms for matrix reduction to normal forms
LMC-IMAG, Grenoble, France
Applicable Algebra in Engineering, Communications and Computing, 1997, 8 (06): : 511 - 537
[8] On the reduction of multidimensional DFT to separabile DFT by smith normal form theorem
Bernardini, Riccardo
Manduchi, Roberto
European transactions on telecommunications and related technologies, 1994, 5 (03): : 377 - 380
[9] SCALING THEOREM AND ALGORITHMS
BIGELOW, JH
SHAPIRO, NZ
SIAM JOURNAL ON APPLIED MATHEMATICS, 1977, 33 (02) : 348 - 352
[10] ON THE REDUCTION OF MULTIDIMENSIONAL DFT TO SEPARABLE DFT BY SMITH NORMAL-FORM THEOREM
BERNARDINI, R
MANDUCHI, R
EUROPEAN TRANSACTIONS ON TELECOMMUNICATIONS, 1994, 5 (03): : 377 - 380

← 1 2 3 4 5 →