DECISION PROCEDURES IN QUANTUM-MECHANICS

被引：23
作者：
BENIOFF, PA
机构：
来源：
JOURNAL OF MATHEMATICAL PHYSICS | 1972年 / 13卷 / 06期
关键词：
D O I：
10.1063/1.1666075
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
引用
收藏
页码：908 / &
相关论文
共 12 条
[1]   OPERATOR VALUED MEASURES IN QUANTUM-MECHANICS - FINITE AND INFINITE PROCESSES [J].
BENIOFF, PA .
JOURNAL OF MATHEMATICAL PHYSICS, 1972, 13 (02) :231-&
[2]   SOME ASPECTS OF RELATIONSHIP BETWEEN MATHEMATICAL LOGIC AND PHYSICS .2. [J].
BENIOFF, PA .
JOURNAL OF MATHEMATICAL PHYSICS, 1971, 12 (03) :360-&
[3]   SOME ASPECTS OF RELATIONSHIP BETWEEN MATHEMATICAL LOGIC AND PHYSICS .1. [J].
BENIOFF, PA .
JOURNAL OF MATHEMATICAL PHYSICS, 1970, 11 (08) :2553-&
[4]  
BERBERIAN SK, 1966, NOTES SPECTRAL THEOR
[5]  
DOBRAKOV I, 1970, CZECH MATH J, V20, P511
[6]   TREES [J].
JECH, TJ .
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (01) :1-&
[7]  
KOLMOGOROV AN, 1956, F THEORY PROBABILITY, P29
[8]  
LOEVE M, 1963, PROBABILITY THEORY, pCH9
[9]  
NEUMAN JV, 1955, MATHEMATICAL FOUNDAT, P335
[10]  
NEUMAN JV, 1955, MATHEMATICAL FOUNDAT, P351
12