Skip to main content

Publications

Journal articles

Ying, M 1996, 'An Open Logic System Admitting Modification Of Inference Rules', Chinese Science Bulletin, vol. 41, no. 13, pp. 1069-1071.
View description>>

Ying, M 1996, 'Initial and terminal semantics for glued theories in institutions', Ruan Jian Xue Bao/Journal of Software, vol. 7, no. 6, pp. 360-363.
View description>>

Ying, M 1996, 'When Is The Ideal Completion Of Abstract Basis Algebraic', Theoretical Computer Science, vol. 159, no. 2, pp. 355-356.
View/Download from: UTS OPUS
View description>>

Conferences

Ying, M & Bouchon-Meunier, B 1996, 'Quantifiers, modifiers and qualifiers in fuzzy logic', Soft Computing In Intelligent Systems And Information Processing, IEEE, Kenting, Taiwan, pp. 490-495.
View description>>