Some Elementary Results in Intutionistic Model Theory
- 期刊名称The Journal of Symbolic Logic
- 作者Wim Veldman and Frank Waaldijk
- 卷第61卷
- 期第3期
- 印刷ISSN0022-4812
- 文件大小1482.56KB
- 发表时间1996-09
- DOI10.2307/2275782
- 页码745-767
SPIE Proceedings [SPIE AeroSense '97 - Orlando, FL (Monday 21 April 1997)] Photonic Quantum Computing - <title>Qubit decoherence</title>Brandt, Howard E.; Hotaling, Steven P.; Pirich, Andrew R. · 1997
SPIE Proceedings [SPIE AeroSense '97 - Orlando, FL (Monday 21 April 1997)] Photonic Quantum Computing - <title>Symmetric test spaces</title>Wilce, Alexander; Hotaling, Steven P.; Pirich, Andrew R. · 1997
SPIE Proceedings [SPIE AeroSense '97 - Orlando, FL (Monday 21 April 1997)] Automatic Target Recognition VII - <title>Characterization of transients</title>Cohen, Leon; Sadjadi, Firooz A. · 1997
SPIE Proceedings [SPIE AeroSense '97 - Orlando, FL (Monday 21 April 1997)] Wavelet Applications IV - <title>Understanding wavelet image compression</title>Mallat, Stephane G.; Falzon, Frederic; Szu, Harold H. · 1997
SPIE Proceedings [SPIE AeroSense '97 - Orlando, FL (Monday 21 April 1997)] Photonic Quantum Computing - <title>Lower bounds for decoherence</title>Schulman, Lawrence S.; Hotaling, Steven P.; Pirich, Andrew R. · 1997
SPIE Proceedings [SPIE AeroSense '97 - Orlando, FL (Monday 21 April 1997)] Digitization of the Battlefield II - <title>Battlefield spectrum management</title>Sivakumar, C.; Suresh, Raja · 1997
SPIE Proceedings [SPIE AeroSense '97 - Orlando, FL (Monday 21 April 1997)] Digitization of the Battlefield II - <title>Battlefield awareness overview</title>Crites, Troy A.; Suresh, Raja · 1997
SPIE Proceedings [SPIE AeroSense '97 - Orlando, FL (Monday 21 April 1997)] Radar Sensor Technology II - <title>Adaptive target recognition</title>Au, Wing K.; Hamza, Rida; Roberts, Barry A.; Trebits, Robert; Kurtz, James L. · 1997