Skip to main content

Publications

Journal articles

Ying, M 1995, 'Institutions of variable truth values: An approach in the ordered style', Journal of Computer Science and Technology, vol. 10, no. 3, pp. 267-273.
View/Download from: Publisher's site
View description>>

Ying, M 1995, 'Putting consistent theories together in institutions', Journal of Computer Science and Technology, vol. 10, no. 3, pp. 260-266.
View/Download from: Publisher's site
View description>>