Skip to main content

Publications

Journal articles

Ying, M 1995, 'Institutions of variable truth values: An approach in the ordered style.', J. Comput. Sci. Technol., vol. 10, no. 3, pp. 267-273.
View/Download from: Publisher's site
View description>>

Ying, M 1995, 'Putting consistent theories together in institutions.', J. Comput. Sci. Technol., vol. 10, no. 3, pp. 260-266.
View/Download from: Publisher's site
View description>>