Ni, Ye-feng; Fan, Yuan-chao; Tan, Xin-cheng; Cui, Jin; Wang, Xiao-ling Numeric-based XML labeling schema by generalized dynamic method. (English) Zbl 1283.68137 J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 203-208 (2012). MSC: 68P05 68T30 68W30 PDFBibTeX XMLCite \textit{Y.-f. Ni} et al., J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 203--208 (2012; Zbl 1283.68137) Full Text: DOI
Xu, Wei-tao; Xu, Yang Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra. (English) Zbl 1283.03091 J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 178-181 (2012). MSC: 03G10 03B35 03B52 PDFBibTeX XMLCite \textit{W.-t. Xu} and \textit{Y. Xu}, J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 178--181 (2012; Zbl 1283.03091) Full Text: DOI
Jiang, Tao; Wang, Xin Research on metamodels consistency verification based on formalization of domain-specific metamodeling language. (English) Zbl 1283.68209 J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 171-177 (2012). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{T. Jiang} and \textit{X. Wang}, J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 171--177 (2012; Zbl 1283.68209) Full Text: DOI
Liu, Yi; Liu, Jun; Chen, Shu-wei; Xu, Yang Lattice-valued modal propositional logic based on M-lattice implication algebras. (English) Zbl 1283.68320 J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 166-170 (2012). MSC: 68T30 68T27 03B45 03B52 03G10 PDFBibTeX XMLCite \textit{Y. Liu} et al., J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 166--170 (2012; Zbl 1283.68320) Full Text: DOI
Fu, Xiaoling; Wang, Xiangfeng A relaxed-PPA contraction method for sparse signal recovery. (English) Zbl 1283.94015 J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 141-146 (2012). MSC: 94A12 PDFBibTeX XMLCite \textit{X. Fu} and \textit{X. Wang}, J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 141--146 (2012; Zbl 1283.94015) Full Text: DOI