Proof Theory of Partial Correctness Verification Systems
- 期刊名称SIAM Journal on Computing
- 作者Gerhart, Susan L.
- 卷第5卷
- 期第3期
- 印刷ISSN0097-5397
- 电子ISSN1095-7111
- 文件大小2211.74KB
- 发表时间1976-09
- DOI10.1137/0205030
- 页码355-377
Illustration of a Conservation ParadoxSutton, Richard M. · American Journal of Physics · 1936
Five popular misconceptions about osmosisKramer, Eric M.; Myers, David R. · American Journal of Physics · 2012
The physics major in jeopardyMarshall, Jill A. · American Journal of Physics · 2012
Quantum Mechanics: A Paradigms Approach.McIntyre, David H.; Kohnle, Antje · American Journal of Physics · 2012
The “rainbow” in the dropCasini, Giovanni; Covello, Antonio · American Journal of Physics · 2012
Vorticity and rotationLindgren, E. Rune · American Journal of Physics · 1980
Dimensions of relativistic quantum mechanical pathsCannata, F. · American Journal of Physics · 1988
Discharge time for a capacitorCleveland, Joseph R. · American Journal of Physics · 1979