Asymptotic completeness. A sketch of proof

被引：0

|

作者：

不详

机构：

来源：

SCATTERING THEORY: SOME OLD AND NEW PROBLEMS | 2000年 / 1735卷

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：106 / 117

页数：12

相关论文

共 50 条

[41] Universal Preparability of States and Asymptotic Completeness
Rolf Gohm
Florian Haag
Burkhard Kümmerer
Communications in Mathematical Physics, 2017, 352 : 59 - 94
[42] So how do you make a full ALARP justification? Introducing the Accident Tetrahedron as a guide for approaching completeness.
Maguire, Richard
Developments in Risk-Based Approaches to Safety, 2006, : 69 - 80
[43] FREIGHT CAR LATERAL DYNAMICS - AN ASYMPTOTIC SKETCH
WHITMAN, AM
KHASKIA, ARM
JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 1984, 106 (01): : 107 - 113
[44] A Completeness Proof for a Logic with an Alternative Necessity Operator
Stéphane Demri
Studia Logica, 1997, 58 (1) : 99 - 112
[45] Proof of optical-image metrological completeness
Smirnov, SA
MEASUREMENT TECHNIQUES, 1997, 40 (07) : 627 - 633
[46] A DIRECT PROOF FOR THE COMPLETENESS OF SLD-RESOLUTION
STARK, RF
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 382 - 383
[47] Alternative proof of standard completeness theorem for MTL
Horcik, Rostislav
SOFT COMPUTING, 2007, 11 (02) : 123 - 129
[48] PROOF OF COMPLETENESS OF LATTICE STATES IN KQ REPRESENTATION
BACRY, H
GROSSMANN, A
ZAK, J
PHYSICAL REVIEW B, 1975, 12 (04): : 1118 - 1120
[49] A coinductive completeness proof for the equivalence of recursive types
Cardone, F
THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 575 - 587
[50] THE COMPLETENESS OF PROPOSITIONAL RESOLUTION A SIMPLE AND CONSTRUCTIVE PROOF
Gallier, Jean
LOGICAL METHODS IN COMPUTER SCIENCE, 2006, 2 (05)

← 1 2 3 4 5 →