共 50 条
- [1] Correctness criteria for algebraic closures of the estimate-calculating algorithm model Doklady Mathematics, 2008, 77 : 453 - 456
- [2] COMPLETENESS CRITERIA FOR THE ALGORITHM ESTIMATE COMPUTATION MODEL AND ITS ALGEBRAIC CLOSURES DOKLADY AKADEMII NAUK SSSR, 1981, 258 (04): : 792 - 796
- [3] THE CORRECTNESS OF ALGEBRAIC CLOSURES OF FINITE DEGREE OF A FAMILY OF ESTIMATE-COMPUTING ALGORITHMS FOR REGULAR PROBLEMS USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1987, 27 (5-6): : 80 - 84
- [4] ON THE CORRECTNESS OF ALGEBRAIC CLOSURES OF RECOGNITION ALGORITHMS OF THE TESTS TYPE USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1982, 22 (06): : 217 - 226
- [7] OPTIMAL-ALGORITHMS IN ALGEBRAIC CLOSURES OF ESTIMATE CALCULATION OPERATORS DOKLADY AKADEMII NAUK SSSR, 1982, 262 (04): : 818 - 822
- [8] An algebraic model of correctness for superscalar microprocessors FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 346 - 361
- [9] Applied study on estimate-calculating tensile intensity of dissolution-adding-plasticity propellant by polymer theory Hanneng Cailiao/Chinese Journal of Energetic Materials, 2008, 16 (05): : 498 - 501