Chen, Baoping; Sun, Jigui Belief updating using abduction. (Chinese. English summary) Zbl 0988.68612 Acta Sci. Nat. Univ. Jilinensis 1996, No. 2, 35-39 (1996). MSC: 68T27 03B60 03B70 PDF BibTeX XML Cite \textit{B. Chen} and \textit{J. Sun}, Acta Sci. Nat. Univ. Jilinensis 1996, No. 2, 35--39 (1996; Zbl 0988.68612)
Sun, Jigui; Liu, Xuhua Cialdea’s resolution system for first-order modal logic. (Chinese. English summary) Zbl 0988.03516 Acta Sci. Nat. Univ. Jilinensis 1996, No. 2, 23-26 (1996). MSC: 03B45 03B35 PDF BibTeX XML Cite \textit{J. Sun} and \textit{X. Liu}, Acta Sci. Nat. Univ. Jilinensis 1996, No. 2, 23--26 (1996; Zbl 0988.03516)
Ashraf, M.; Jacob, V. W. On certain polynomial identities implying commutativity for rings. (English) Zbl 0988.16518 Acta Sci. Nat. Univ. Jilinensis 1996, No. 2, 13-17 (1996). MSC: 16U70 16R50 16U80 PDF BibTeX XML Cite \textit{M. Ashraf} and \textit{V. W. Jacob}, Acta Sci. Nat. Univ. Jilinensis 1996, No. 2, 13--17 (1996; Zbl 0988.16518)
Shi, Weiping; Hu, Shouxin; Yan, Guangwu A multispeed lattice Boltzmann model for computing flows of compressible fluids. (Chinese. English summary) Zbl 0988.76508 Acta Sci. Nat. Univ. Jilinensis 1996, No. 2, 7-12 (1996). MSC: 76M25 76N15 76P05 PDF BibTeX XML Cite \textit{W. Shi} et al., Acta Sci. Nat. Univ. Jilinensis 1996, No. 2, 7--12 (1996; Zbl 0988.76508)
Lei, Peidong Stability and uniqueness of generalized solutions to Cauchy problems for quasilinear degenerate parabolic equations. (Chinese. English summary) Zbl 0988.35527 Acta Sci. Nat. Univ. Jilinensis 1996, No. 2, 1-6 (1996). MSC: 35K65 35D05 35K55 PDF BibTeX XML Cite \textit{P. Lei}, Acta Sci. Nat. Univ. Jilinensis 1996, No. 2, 1--6 (1996; Zbl 0988.35527)