Skip to main content

Publications

Journal articles

Biacino, L, Gerla, G & Ying, M 2000, 'Approximate Reasoning Based On Similarity', Mathematical Logic Quarterly, vol. 46, no. 1, pp. 77-86.
View/Download from: UTS OPUS or Publisher's site
View description>>

Ying, M 2000, 'Automata Theory Based On Quantum Logic Ii', International Journal Of Theoretical Physics, vol. 39, no. 11, pp. 2545-2557.
View/Download from: UTS OPUS or Publisher's site
View description>>

Ying, M 2000, 'Automata Theory Based On Quantum Logic. (I)', International Journal Of Theoretical Physics, vol. 39, no. 4, pp. 985-995.
View/Download from: UTS OPUS or Publisher's site
View description>>

Ying, M 2000, 'Declarative Semantics Of Programming In Residuated Lattice-Valued Logic', Science in China Series E: Technological Sciences, vol. 43, no. 5, pp. 481-494.
View description>>

Ying, M 2000, 'Weak Confluence And Tau-Inertness', Theoretical Computer Science, vol. 238, no. 1-Feb, pp. 465-475.
View/Download from: UTS OPUS or Publisher's site
View description>>

Conferences

Drummond, PD, Kheruntsyan, K, Bremner, M & Myers, C 2000, 'Quantum and classical solitons with a two-component Bose gas', IQEC, International Quantum Electronics Conference Proceedings.
View description>>

Ying, M & Wirsing, M 2000, 'Approximate bisimilarity', Algebraic Methodology and Software Technology, Algebraic Methodology and Software Technology, Springer-Verlag Berlin, Iowa City, Iowa, pp. 309-322.
View description>>