Category Theory Publications 1992--1994
-
(with R. Buckland)
Modelling algebraic structures with prolog,
Computational Algebra and Number Theory, (1995),
8pp.
-
(with C.N.G. Dampney)
Category theory and information systems engineering,
AMAST93, University of Twente (1993) 95-103.
-
(with R. Buckland)
An application of logic programming in pure mathematics,
Australian Computer Science Communications,
15 (1993) 203--208.
-
Linear term rewriting systems are higher dimensional
string rewriting systems,
Proc of the Institute for Mathematics and its Applications,
35 (1992) 101--110.
-
(with C.N.G. Dampney and G.P. Monro)
A mathematical foundation for ERA,
Proc of the Institute for Mathematics and its Applications,
35 (1992) 77--84.
-
(with R.F.C. Walters)
Algebra objects and algebra families for finite limit theories,
J. of Pure and Applied Algebra
83 (1992) 283--293.
-
(with S.-H. Sun)
Remarks on representations of universal algebras by sheaves of
quotient algebras,
Proc. Canadian Mathematical Society,
(1992) 299--307.
-
(with R.F.C. Walters)
Category theoretic modelling of digital circuits and systems,
Proc. of the Pan-Commonwealth Conference on
Mathematical Modelling,
Commonwealth Science Council (1992) 199--213.