Decidable modal logic with undecidable admissibility problem
- 期刊名称Algebra and Logic
- 作者A. V. Chagrov
- 卷第31卷
- 期第1期
- 印刷ISSN0002-5232
- 电子ISSN1573-8302
- 文件大小513.81KB
- 发表时间1992-0102
- DOI10.1007/bf02259858
- 页码53-61
Ultrasound for guidance of breast mass removal.Rifkin, M D; Schwartz, G F; Pasto, M E; Vilaro, M; Needleman, L; Kurtz, A B; Mitchell, D G; Pennell, R; Baltarowich, O H; Goldberg, B B · Journal of Ultrasound in Medicine · 1988
Femoral artery pseudoaneurysm: diagnosis with conventional duplex and color Doppler US.Mitchell, D G; Needleman, L; Bezzi, M; Goldberg, B B; Kurtz, A B; Pennell, R G; Rifkin, M D; Vilaro, M; Baltarowich, O H · Radiology · 1987
Complicated first-trimester pregnancies: evaluation with endovaginal US versus transabdominal technique.Pennell, R G; Baltarowich, O H; Kurtz, A B; Vilaro, M M; Rifkin, M D; Needleman, L; Mitchell, D G; Mervis, S A; Goldberg, B B · Radiology · 1987
Sonography of the spleen.Benter, Thomas; Klühs, Lothar; Teichgräber, Ulf · Journal of ultrasound in medicine : official journal of the American Institute of Ultrasound in Medicine · 2011
Ultrasonographic evaluation of diaphragmatic motion.Gerscovich, E O; Cronan, M; McGahan, J P; Jain, K; Jones, C D; McDonald, C · Journal of ultrasound in medicine : official journal of the American Institute of Ultrasound in Medicine · 2001
Sonographic evaluation of cellulitis in children.Chao, H C; Lin, S J; Huang, Y C; Lin, T Y · Journal of ultrasound in medicine : official journal of the American Institute of Ultrasound in Medicine · 2000
Sonography of the acute abdomen in the pediatric patient.Babcock, Diane S · Journal of ultrasound in medicine : official journal of the American Institute of Ultrasound in Medicine · 2002
Ultrasonography of the scrotum: technique, anatomy, and pathologic entities.Ragheb, Dina; Higgins, Joseph L · Journal of ultrasound in medicine : official journal of the American Institute of Ultrasound in Medicine · 2002
Dynamic sonography of external snapping hip syndrome.Choi, Yun Sun; Lee, Sung Moon; Song, Baek Yong; Paik, Sang Hyun; Yoon, Yong Kyu · Journal of ultrasound in medicine : official journal of the American Institute of Ultrasound in Medicine · 2002
Shear rate estimation using a clinical ultrasound scanner.Forsberg, F; Morvay, Z; Rawool, N M; Deane, C R; Needleman, L · Journal of ultrasound in medicine : official journal of the American Institute of Ultrasound in Medicine · 2000
Zero-crossing tracking technique for noninvasive ultrasonic temperature estimationJu, K C; Liu, H L · Journal of ultrasound in medicine: official journal of the American Institute of Ultrasound in Medicine · 2010